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 <BA00099329>
- 書誌ID:
- BA0475667X
類似資料:
North-Holland Pub. Co., Sole distributors for U.S.A. and Canada, Elsevier North-Holland | |
North-Holland Pub. Co. |
|
North-Holland Pub. Co, American Elsevier Pub. Co. |
Academic Press |