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

Matematisk logik

Sök i Matematisk logik

Logic as a Tool

av Valentin Goranko

Proofs and Refutations

av Imre Lakatos
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…

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…

Structural Proof Theory The GCHQ Puzzle Book Logic and Discrete Mathematics How to Prove It
Structural Proof Theory av Sara NegriThe GCHQ Puzzle Book av GCHQLogic and Discrete Mathematics av Willem ConradieHow to Prove It av Daniel J. Velleman

A First Course in Logic Logic and Discrete Mathematics Basic Proof Theory An Introduction to Non-Classical Logic
A First Course in Logic av Shawn HedmanLogic and Discrete Mathematics av Willem ConradieBasic Proof Theory av A. S. TroelstraAn Introduction to Non-Classical Logic av Graham Priest