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