Non-classical logics, model theory and computability: Proceedings Campinas, 1976
Arruda A.I., da Costa N.C.A., Chuaqui R. (eds.)种类:
年:
1977
出版社:
Elsevier Science
语言:
english
页:
309
ISBN 10:
0720407524
ISBN 13:
9780720407525
系列:
Studies in Logic and the Foundations of Mathematics, Volume 89
文件:
DJVU, 1.78 MB
IPFS:
,
english, 1977