Formal systems and recursive functions : proceedings / Edited by J.N. Crossley and M.A.E. Dummett.
Saved in:
Corporate Authors: | , , , , |
---|---|
Other Authors: | , |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
Amsterdam :
North-Holland Pub. Co.,
1965.
|
Series: | Studies in logic and the foundations of mathematics.
|
Subjects: |
Closed Stacks - Engineering Math & Physics Library - Stacks
Call Number: |
QA248.5 .L65 1963
|
---|
PASCAL Offsite
Call Number: |
QA248.5 .L65 1963
|
---|---|
QA248.5 .L65 1963 | Available Place a Hold |