Denna webbshop är stängd för köp.
Klicka här för mer information

Matematisk logik

Sök i Matematisk logik

Proofs and Refutations

av Imre Lakatos

Logic as a Tool

av Valentin Goranko
Proofs and Refutations

Imre Lakatos's Proofs and Refutations is an enduring classic, which has never lost its relevance. Taking the form of a dialogue between a teacher and some students, the book con…

Logic as a Tool

Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science…

Structural Proof Theory The GCHQ Puzzle Book Logic and Discrete Mathematics A First Course in Logic
Structural Proof Theory av Sara NegriThe GCHQ Puzzle Book av GCHQLogic and Discrete Mathematics av Willem ConradieA First Course in Logic av Shawn Hedman

How to Prove It Basic Proof Theory An Introduction to Non-Classical Logic Logic and Discrete Mathematics
How to Prove It av Daniel J. VellemanBasic Proof Theory av A. S. TroelstraAn Introduction to Non-Classical Logic av Graham PriestLogic and Discrete Mathematics av Willem Conradie