Notes on intuitionistic second order arithmetic

Author(s)

Bibliographic Information

Notes on intuitionistic second order arithmetic

A. S. Troelstra

University of Amsterdam. Mathematisch Instituut., 1971

Available at  / 2 libraries

Search this Book/Journal

Note

Report ; 71-05

Details

  • NCID
    BA17597171
  • Country Code
    ne
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Amsterdam.
  • Pages/Volumes
    40 p.
  • Size
    30 cm
Page Top