Formal systems and recursive functions : proceedings / Edited by J.N. Crossley and M.A.E. Dummett.

保存先:

書誌詳細
出版事項:	Amsterdam : North-Holland Pub. Co., 1965.
共著者:	Logic Colloquium Oxford, Oxfordshire Association for Symbolic Logic North Atlantic Treaty Organization International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science Symposium on Recursive Functions
その他の著者:	Crossley, John N. Dummett, Michael, 1925-2011
シリーズ:	Studies in logic and the foundations of mathematics ;
主題:	Logic, Symbolic and mathematical. Recursive functions.
フォーマット:	会議録図書

Central Library, Level 11

予約･返却請求 Central Library, Level 11
請求記号所蔵 Loan Type 状態予約する
BC 135 .L832 l AU06534333B For loan 利用可予約する