Peter B. Andrews – författare
Visar alla böcker från författaren Peter B. Andrews. Handla med fri frakt och snabb leverans.
3 produkter
Introduction to Mathematical Logic and Type Theory
To Truth Through Proof
Inbunden, 2002
1423 kr
Lägg i varukorg
In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com for more information. This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, …
Introduction to Mathematical Logic and Type Theory
To Truth Through Proof
Häftad, 2010
987 kr
Lägg i varukorg
In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com for more information. This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, …
Introduction to Mathematical Logic and Type Theory
To Truth Through Proof
E-bok, 2013
1296 kr
Lägg i varukorg
In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com for more information. This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, …
