1 Artikel | Alle Löschen

 

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

Preface to the Second Edition.- Preface.- Introduction.- 1. Propositional Calculus.- 2. First-Order Logic.- 3. Provability and Refutability.-...

Jetzt  CHF 119.00

Keine Preisänderung

mehr Informationen

Löschen