---

Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y., 1968 / edited by A. Kino, J. Myhill and R.E. Vesley
(Studies in logic and the foundations of mathematics)

データ種別	図書
出版者	Amsterdam : North-Holland
出版年	1970
形態	viii, 516 p. ; 23 cm
著者標目	Conference on Intuitionism and Proof Theory (1968 : State University of New York, Buffalo) Kino, A. Myhill, John Vesley, R. E.
件　名	FREE:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分　類	NDC:410.1 DDC:164 LCC:QA9
書誌ID	LT00180088

 類似資料