Proof theory and logical complexity

Bibliographic Information

Proof theory and logical complexity

Jean-Yves Girard

(Studies in proof theory : monographs, 1)

Bibliopolis, c1987-

  • v. 1 : Italy
  • v. 1

Available at  / 49 libraries

Search this Book/Journal

Note

Includes bibliographies and index

Related Books: 1-1 of 1

Details

  • NCID
    BA01438918
  • ISBN
    • 8870881237
    • 0444987150
  • LCCN
    88114031
  • Country Code
    it
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Napoli
  • Pages/Volumes
    v.
  • Size
    25 cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top