The foundations of intuitionistic mathematics : especially in relation to recursive functions

Author(s)

• Kleene, Stephen Cole
• Vesley, Richard Eugene

Bibliographic Information

The foundations of intuitionistic mathematics : especially in relation to recursive functions

Stephen Cole Kleene, Richard Eugene Vesley

（Studies in logic and the foundations of mathematics）

North-Holland Pub. Co., 1965

Note

"Bibliography, by S. C. Kleene": p. [187]-199

Details

• NCID: BA07563275
• LCCN: 75020959
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam
• Pages/Volumes: viii, 206 p.
• Size: 23 cm
• Classification:
  • LCC : QA9
  • DC : 511/.33
• Subject Headings:
  • LCSH : Intuitionistic mathematics
  • LCSH : Recursive functions
• Parent Bibliography ID:
  • BA00099329