Böcker > Naturvetenskap & teknik > Matematik & Naturvetenskap > Matematik > Matematikens grunder > Matematisk logik Argumentation in Artificial Intelligence Pell and Pell-Lucas Numbers with Applications Kurt Gdel: Collected Works: Volume V Kurt Gdel: Collected Works: Volume IV Numerical Semigroups Collected Papers of Stig Kanger with Essays on his Life and Work Vicious Circles Remarks on the Foundation of Mathematics [Bemerkungen Uber Die Grundlagen Der Mathematik] Logical Labyrinths An Invitation to Applied Category Theory Cool japanese puzzles (Volume 3) Quaternions for Computer Graphics A First Journey through Logic Principles of Mathematics Model Theory for Beginners. 15 Lectures How to Sell a Contradiction Automated Reasoning in Higher-order Logic Logic and Complexity Guide to Pairing-Based Cryptography Turing's Legacy A Course of Modern Analysis A Course of Modern Analysis Logic Made Easy Modal Logic for Philosophers A Logical Introduction to Proof Theory and Applications of Satisfiability Testing - SAT 2006 Felix Hausdorff - Gesammelte Werke Band III Knowledge and the Flow of Information David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933 Axiom of Choice Paradoxes of the Infinite (Routledge Revivals) Ernst Zermelo - Collected Works/Gesammelte Werke II Cool japanese puzzles (Volume 4) Propositional and Predicate Calculus: A Model of Argument Neural-Symbolic Cognitive Reasoning Boolean Functions and Computation Models