Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y., 1968 / edited by A. Kino, J. Myhill and R. E. Vesley.

İsim	Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y., 1968 / edited by A. Kino, J. Myhill and R. E. Vesley.
Basım Tarihi:	1970
Basım Yeri	Amsterdam - North-Holland Pub. Co., 1970.
Konu	Intuitionistic mathematics -- Congresses.
Tür	Kitap
Dil	Arapça
Dijital	Hayır
Yazma	Hayır
Sayfa Sayısı	516
Fiziksel Boyutlar	23 cm
Kütüphane:	The Institute for Advanced Study (IAS)
Kayıt Numarası	3100001~!87810~!3470
Lokasyon	Math Stacks
Tarih	1970
Notlar	Includes bibliographical references.. viii, 516 p. ; 23 cm.
Seri	Studies in logic and the foundations of mathematics