Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Herausgegeben:Troelstra, Anne S.

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Mathematics 344
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-06491-6
• 1973
• Seitenzahl: 504
• Erscheinungstermin: 14. November 1973
• Englisch
• Abmessung: 235mm x 155mm x 28mm
• Gewicht: 782g
• ISBN-13: 9783540064916
• ISBN-10: 3540064915
• Artikelnr.: 23380668

Inhaltsangabe

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.