WebOPAC Local書誌詳細

書誌詳細

edited by J.N. Crossley and M.A.E. Dummett. -- North-Holland, 1965. -- (Studies in logic and the foundations of mathematics). <BB00930592>

登録タグ：

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

便利機能：

書誌URL：

edited by J.N. Crossley and M.A.E. Dummett. -- North-Holland, 1965. -- (Studies in logic and the foundations of mathematics). <BB00930592>

登録タグ：

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

便利機能：

書誌URL：

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

No.	巻号	所蔵館	配置場所	資料ID	請求記号	状態	返却予定日	予約	WEB書棚
0001		数理科学	理：数理科学図書室洋C	010064635	/410.8/ST9			0件
0002		日野館	日野：一般書架(洋書)	201030467	/410.1/C93			0件

標題および責任表示	Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963 / edited by J.N. Crossley and M.A.E. Dummett
出版・頒布事項	Amsterdam : North-Holland , 1965
形態事項	320 p. ; 23 cm
書誌構造リンク	Studies in logic and the foundations of mathematics <BB00777503>//a
学情ID	BA0475667X
本文言語コード	英語
著者標目リンク	Crossley, John N., 1937- <AU00672611>
著者標目リンク	Dummett, Michael A. E., 1925- <AU00307979>
著者標目リンク	*Logic Colloquium <AU00333776> (1963 : Oxford )