Formal systems and recursive functions : proceeding
by
Logic Colloquium (8th : 1963 : Oxford).
Title
:
Formal systems and recursive functions : proceeding
Author
:
Logic Colloquium (8th : 1963 : Oxford).
Conference Author
:
Logic Colloquium (8th : 1963 : Oxford).
Publication Information
:
Amsterdam : North-Holland, 1965.
Physical Description
:
320 s.
Subject Term
:
MANTIK, SEMBOLİK VE MATEMATİKİ.
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Beytepe Library | Book | 7.2/12/465525 | BC 135 L8292 1965 | | Beytepe Genel Koleksiyon |