Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Troelstra, A. S. ; editor :

ISBN 10: 3540064915 / ISBN 13: 9783540064916

Editore: Springer-Verlag, Berlin / Heidelberg, 1973

Riguardo questo articolo

24x16cm, xvii,485 pp., Weighs 900 grams. Series: Lecture Notes in Mathematics, 525.

Codice articolo 027208

Dati bibliografici

• Titolo: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
• Editore: Springer-Verlag, Berlin / Heidelberg
• Data di pubblicazione: 1973
• ISBN 10: 3540064915
• ISBN 13: 9783540064916
• Rilegatura: orig. wrappers
• Condizione: Minor wear. VG.
• Cataloghi dei venditori:
  • Mathematics

Descrizione articolo

Contenuti

Intuitionistic formal systems.- Models and computability.- Realizability and functional interpretations.- Normalization theorems for systems of natural deduction.- Applications of Kripke models.- Iterated inductive definitions, trees and ordinals.- Erratum.