Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963 / edited by J.N. Crossley and M.A.E. Dummett
(Studies in logic and the foundations of mathematics)
| Publisher | Amsterdam : North-Holland |
|---|---|
| Year | 1965 |
| Authors | Crossley, John N., 1937- Dummett, Michael A. E., 1925- *Logic Colloquium (1963 : Oxford ) |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Restriction | Reserve |
|---|---|---|---|---|---|---|---|---|---|
| Library Restricted Access Stacks |
|
Sb:404 | 128131754W |
|
|
|
|
Hide details.
| Material Type | Books |
|---|---|
| Size | 320 p. ; 23 cm |
| Notes | Includes bibliographical references |
| Subjects | LCSH:Logic, Symbolic and mathematical LCSH:Recursive functions |
| Classification | LCC:QA9 |
| Language | English |
| ID | 1001229696 |
| NCID |
BA0475667X 
|
Similar Items
Usage statistics of this contents
Number of accesses to this page：2times