Studies in proof theory : lecture notes

Author(s)

Bibliographic Information

Studies in proof theory : lecture notes

Bibliopolis

Search this Book/Journal

Related Books： 1-1 of 1

  • Intuitionistic type theory

    Per Martin-Löf

    Bibliopolis c1984 Studies in proof theory : lecture notes 1

    Available at 29 libraries

Details

  • NCID
    BA06884557
  • Country Code
    it
  • Title Language Code
    eng
  • Place of Publication
    Napoli
Page Top