Title:
Formal systems and recursive functions : proceeding
Author:
Logic Colloquium (8th : 1963 : Oxford).
Conference Author:
Publication Information:
Amsterdam : North-Holland, 1965.
Physical Description:
320 s.
Subject Term:
Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | Book | 7.2/12/465525 | BC 135 L8292 1965 | Searching... | Searching... |