Formally self-referential propositions for cut free classical analysis and related systems

Author(s)

Bibliographic Information

Formally self-referential propositions for cut free classical analysis and related systems

G. Kreisel and G. Takeuti

（Dissertationes mathematicae, 118）

Państwowe Wydawn. Nauk., 1974

Available at  / 4 libraries

Search this Book/Journal

Note

At head of title: Polska Akademia Nauk, Instytut Matematyczny

Related Books： 1-1 of 1

Details

  • NCID
    BA38266070
  • Country Code
    pl
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Warszawa
  • Pages/Volumes
    55 p.
  • Size
    24 cm
  • Parent Bibliography ID
Page Top