Buch, Englisch, 348 Seiten, Format (B × H): 157 mm x 235 mm, Gewicht: 652 g
Buch, Englisch, 348 Seiten, Format (B × H): 157 mm x 235 mm, Gewicht: 652 g
ISBN: 978-0-367-31635-8
Verlag: Routledge
This book provides a rigorous introduction to the basic concepts and results of contemporary logic. It also presents, in two unhurried chapters, the mathematical tools (mainly from set theory) that are needed to master the technical aspects of the subject. Methods of definition and proof are also discussed at length, with special emphasis on induct
Autoren/Hrsg.
Weitere Infos & Material
Chapter 1: The Elements -- Chapter 2: Propositional Logic -- Chapter 3: First-order Logic: Syntax and Semantics -- Chapter 4: Deduction -- Chapter 5: Soundness and Completeness -- Chapter 6: Cardinality -- Chapter 7: Expressive Limitations -- Chapter 8: Decidability