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

Author(s)

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

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）

North-Holland, 1965

Note

Includes bibliographical references

Details

• NCID: BA0475667X
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam
• Pages/Volumes: 320 p.
• Size: 23 cm
• Classification:
  • LCC : QA9
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Recursive functions
• Parent Bibliography ID:
  • BA00099329