Böcker > Naturvetenskap & teknik > Matematik & Naturvetenskap > Matematik > Matematikens grunder > Matematisk logik Modal Logic Logic from A to Z Galois Theories Lectures on the Curry-Howard Isomorphism Handbook of Categorical Algebra: Volume 2, Categories and Structures Handbook of Categorical Algebra: Volume 1, Basic Category Theory Handbook of Categorical Algebra: Volume 3, Sheaf Theory The Sun Two-Speed Crossword Book 8 The Great Formal Machinery Works An Introduction to Proof Theory Lambda-calculus, Combinators and Functional Programming Sheaf Theory through Examples Principia Mathematica Basic Simple Type Theory Writings of Charles S. Peirce: A Chronological Edition, Volume 3 The Origin of the Logic of Symbolic Mathematics The Description Logic Handbook Abduction and Induction Kurt Gdel: Collected Works: Volume II Kurt Gdel: Collected Works The Uncertain Reasoner's Companion A First Course in Mathematical Logic and Set Theory Computability and Logic The Shaping of Deduction in Greek Mathematics Dependence Logic Stone Spaces Taming the Unknown Practical Cryptography Ones and Zeros Deduction Introduction to Logic and to the Methodology of Deductive Sciences Gdel's Incompleteness Theorems Brouwer's Cambridge Lectures on Intuitionism An Introduction to Symbolic Logic The Logic of Provability The Unprovability of Consistency
