0

Böcker > Naturvetenskap & teknik > Matematik & Naturvetenskap > Matematik > Matematikens grunder > Matematisk logik


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