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

Author(s)

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

Available at  / 1 libraries

Search this Book/Journal

Note

Bibliography: p. 17-18

Related Books： 1-1 of 1

  • Report

    Department of Mathematics, University of Amsterdam

Details

  • 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
Page Top