Notes on intuitionistic second order arithmetic

Author(s)

• Troelstra, A. S. (Anne Sjerp)

Bibliographic Information

Notes on intuitionistic second order arithmetic

A. S. Troelstra

（Report, 71-05）

University of Amsterdam. Mathematisch Instituut, 1971

Note

"Received October 22, 1971"

Details

• NCID: BD01285058
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam
• Pages/Volumes: 40 leaves
• Size: 30 cm
• Parent Bibliography ID:
  • BB13374037