Constructivizing results obtained for intuitionistic formal systems by means of classical semantics

Author(s)

• Troelstra, A. S. (Anne Sjerp)

Bibliographic Information

Constructivizing results obtained for intuitionistic formal systems by means of classical semantics

by A.S. Troelstra

（Report, 77-08）

University of Amsterdam. Mathematisch Instituut, 1977

Note

Bibliography: p. 17-18

• NCID: BB28284459
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam
• Pages/Volumes: 18 p.
• Size: 30 cm
• Parent Bibliography ID:
  • BB13374037