Notes on constructive mathematics

Author(s)

Bibliographic Information

Notes on constructive mathematics

by Per Martin-Löf

Almqvist & Wiksell, 1970

Available at  / 6 libraries

Search this Book/Journal

Note

Also presented author's thesis (Ph.D.--Stockholms universitet, 1970)

Bibliography: p. [104]-106

Includes index

Details

  • NCID
    BA63321782
  • Country Code
    sw
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Stockholm
  • Pages/Volumes
    109 p.
  • Size
    24 cm
Page Top