WebOPAC Local書誌詳細

書誌詳細

edited by A. Kino, J. Myhill and R.E. Vesley. -- North-Holland Pub. Co., 1970. -- (Studies in logic and the foundations of mathematics). <BB00930562>

登録タグ：

登録されているタグはありません

便利機能：

書誌URL：

edited by A. Kino, J. Myhill and R.E. Vesley. -- North-Holland Pub. Co., 1970. -- (Studies in logic and the foundations of mathematics). <BB00930562>

登録タグ：

登録されているタグはありません

便利機能：

書誌URL：

ナンバーをクリックすると所蔵詳細をみることができます。

No.	所蔵館	配置場所	資料ID	請求記号	状態	予約
0001	人文社会	人社：哲学	003267765	/410.1/KI45I	学部管理	0件
0002	人文社会	人社：哲学	10005587101	/410.1/Ki45i	学部管理	0件
0003	日野館	日野：一般書架(洋書)	201030483	/410.1/Ki45		0件

標題および責任表示	Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y., 1968 / edited by A. Kino, J. Myhill and R.E. Vesley
出版・頒布事項	Amsterdam : North-Holland Pub. Co. , 1970
形態事項	viii, 516 p. ; 23 cm
書誌構造リンク	Studies in logic and the foundations of mathematics <BB00777503>//a
注記	Includes bibliographies
学情ID	BA03949113
本文言語コード	英語
著者標目リンク	*Conference on Intuitionism and Proof Theory <AU00718845> (1968 : State University of New York at Buffalo)
著者標目リンク	Kino, Akiko <AU00718846>
著者標目リンク	Myhill, John Martin <AU00718847>
著者標目リンク	Vesley, Richard Eugene, 1932- <AU00718848>
著者標目リンク	State University College at Buffalo <AU00718849>
分類標目	LCC:QA9
分類標目	DC:164
件名標目等	Logic, Symbolic and mathematical -- Congresses