Preface 1. The logical foundations of discourse interpretation Nicholas Asher 2. Complete sets and structure in subrecursive classes Harry Burhman and Leen Torenvliet 3. Kernels and cohomology groups for some finite covers David M. Evans and Darren G. D. Gray 4. On 'star' schemata of Kossak and Paris Vladimir Kanovei 5. Arithmetizing proofs in analysis Ulrich Kohlenbach 6. Satisfaction classes and automorphisms of models of PA Roman Kossak 7. Free monoid completeness of the Lambek calculus allowing empty premises M. Pentus 8. Simple groups definable in O-minimal structures Ya'acov Peterzil, Anand Pillay and Sergei Starchenko 9. Two-dimensional temporal logic Mark Reynolds 10. Rather classless, highly saturated models of Peano arithmetic James H. Schmerl 11. Incompleteness theorems and Si1 vs Si+11 . Gaisi Takeuti.
Preface 1. The logical foundations of discourse interpretation Nicholas Asher 2. Complete sets and structure in subrecursive classes Harry Burhman and Leen Torenvliet 3. Kernels and cohomology groups for some finite covers David M. Evans and Darren G. D. Gray 4. On 'star' schemata of Kossak and Paris Vladimir Kanovei 5. Arithmetizing proofs in analysis Ulrich Kohlenbach 6. Satisfaction classes and automorphisms of models of PA Roman Kossak 7. Free monoid completeness of the Lambek calculus allowing empty premises M. Pentus 8. Simple groups definable in O-minimal structures Ya'acov Peterzil, Anand Pillay and Sergei Starchenko 9. Two-dimensional temporal logic Mark Reynolds 10. Rather classless, highly saturated models of Peano arithmetic James H. Schmerl 11. Incompleteness theorems and Si1 vs Si+11 . Gaisi Takeuti.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309