Choice sequences and completeness of intuitionistic predicate logic

Author(s)

• Troelstra, A. S. (Anne Sjerp)

Bibliographic Information

Choice sequences and completeness of intuitionistic predicate logic

by A.S. Troelstra

（Report, 75-03）

University of Amsterdam. Mathematisch Instituut, 1975

Note

Bibliography: leaf 18-19

Details

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