Andere Kunden interessierten sich auch für
![Proof Theory]( "Proof Theory")
Proof Theory52,99 €![A Set Theory Workbook]( "A Set Theory Workbook")
A Set Theory Workbook40,99 €![Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983]( "Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983")
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 198336,99 €![Constructive Mathematics]( "Constructive Mathematics")
Constructive Mathematics32,99 €![Metamathematical Investigation of Intuitionistic Arithmetic and Analysis]( "Metamathematical Investigation of Intuitionistic Arithmetic and Analysis")
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis51,99 €![Recursion Theory Week]( "Recursion Theory Week")
Recursion Theory Week40,99 €![Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983]( "Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983")
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 198336,99 €
Inductive definitions and subsystems of analysis.- Proof theoretic equivalences between classical and constructive theories for analysis.- Inductive definitions, constructive ordinals, and normal derivations.- The ??+1-Rule.- Ordinal analysis of ID?.- Proof-theoretical analysis of ID? by the method of local predicativity.