Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968
Kino A., Myhill J., Vesley R.E. (eds.)种类:
年:
1970
出版社:
North-Holland Pub. Co.
语言:
english
页:
500
ISBN 10:
0720422574
ISBN 13:
9780720422573
系列:
Studies in Logic and the Foundations of Mathematics, Volume 60
文件:
DJVU, 3.04 MB
IPFS:
,
english, 1970