Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963

Author(s)

• Logic Colloquium
• Crossley, John N.
• Dummett, Michael A. E.

Bibliographic Information

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）

UT Back-in-Print Service, 1965

Note

Includes bibliographies

Reprint. Originally published: Amsterdam : North-Holland , 1965

Details

• NCID: BA33785161
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: [Tokyo]
• Pages/Volumes: 320 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA00099329