Intuitionisme et théorie de la démonstration : textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl

Author(s)

• Largeault, Jean

Bibliographic Information

Intuitionisme et théorie de la démonstration : textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl

réunis, traduits et présentés par Jean Largeault

（Mathesis / directeurs, Michel Blay, Hourya Sinaceur）

J. Vrin, 1992

Note

Bibliography: p. [543]-564

Details

• NCID: BA3448733X
• ISBN:
  • 2711610594
• Country Code: fr
• Title Language Code: fre
• Text Language Code: fre
• Place of Publication: Paris
• Pages/Volumes: 566 p.
• Size: 21 cm
• Classification:
  • DC19 : 511/.2
• Subject Headings:
  • LCSH : Intuitionistic mathematics
• Parent Bibliography ID:
  • BA11590409