Non-classical logics, model theory and computability.
A.I. Arruda, et al种类:
年:
1977
出版社:
Elsevier Science
语言:
english
页:
309
ISBN 10:
0720407524
ISBN 13:
9780720407525
系列:
Studies in logic and the foundations of mathematics 89
文件:
PDF, 12.58 MB
IPFS:
,
english, 1977