Skip to main content
Search results

Foundations of Logic: Completeness, Incompleteness, Computability

Products

Showing 48 of 252 products
A First Course in Logic An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Oxford University Press
A First Course in Logic An Introduction to Model Theory, Proof Theory, Computability, and Complexity
$138.52
Compare Now
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
Cambridge University Press
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
$57.93
Compare Now
An Introduction to Non-Classical Logic: From If to Is
Cambridge University Press
An Introduction to Non-Classical Logic: From If to Is
$50.88
Compare Now
Introduction to Formal Logic
Oxford University Press
Introduction to Formal Logic
$118.07
Compare Now
Bounded Arithmetic, Propositional Logic and Complexity Theory
Cambridge University Press
Bounded Arithmetic, Propositional Logic and Complexity Theory
$178.82
Compare Now
Logic and Computation: Interactive Proof with Cambridge LCF
Cambridge University Press
Logic and Computation: Interactive Proof with Cambridge LCF
$71.93
Compare Now
Introduction to Formal Logic
Oxford University Press
Introduction to Formal Logic
$131.06
Compare Now
An Introduction to Formal Logic
Cambridge University Press
An Introduction to Formal Logic
$22.19
Compare Now
Introduction to Formal Logic with Philosophical Applications
Oxford University Press
Introduction to Formal Logic with Philosophical Applications
$58.88
Compare Now
Theories of Computability
Cambridge University Press
Theories of Computability
$154.85
Compare Now
Theories of Computability
Cambridge University Press
Theories of Computability
$61.94
Compare Now
Mathematical Logic A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Oxford University Press
Mathematical Logic A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
$261.07
Compare Now
Logic Colloquium 2005
Cambridge University Press
Logic Colloquium 2005
$148.85
Compare Now
Extensions of First-Order Logic
Cambridge University Press
Extensions of First-Order Logic
$95.90
Compare Now
The Oxford Handbook of Philosophy of Mathematics and Logic
Oxford University Press
The Oxford Handbook of Philosophy of Mathematics and Logic
$128.69
Compare Now
Computability: An Introduction to Recursive Function Theory
Cambridge University Press
Computability: An Introduction to Recursive Function Theory
$109.20
Compare Now
Computability : An Introduction to Recursive Function Theory
Cambridge University Press
Computability : An Introduction to Recursive Function Theory
$74.93
Compare Now
Computability : An Introduction to Recursive Function Theory
Cambridge University Press
Computability : An Introduction to Recursive Function Theory
$109.20
Compare Now
Lectures on Inductive Logic
Oxford University Press
Lectures on Inductive Logic
$68.19
Compare Now
Systems of Logic
Cambridge University Press
Systems of Logic
$69.88
Compare Now
Systems of Logic
Cambridge University Press
Systems of Logic
$49.95
Compare Now
Computability, Enumerability, Unsolvability: Directions in Recursion Theory
Cambridge University Press
Computability, Enumerability, Unsolvability: Directions in Recursion Theory
$73.93
Compare Now
Godel's Incompleteness Theorems
Oxford University Press
Godel's Incompleteness Theorems
$452.87
Compare Now
Elements of Logical Reasoning
Cambridge University Press
Elements of Logical Reasoning
$87.91
Compare Now
Logic Concise Edition
Oxford University Press
Logic Concise Edition
$126.79
Compare Now
The Science of Logic
Cambridge University Press
The Science of Logic
$79.92
Compare Now
What Is Mathematical Logic?
Oxford University Press
What Is Mathematical Logic?
$25.29
Compare Now
What Is Mathematical Logic?
Oxford University Press
What Is Mathematical Logic?
$37.29
Compare Now
Syllogistic Logic and Mathematical Proof
Oxford University Press
Syllogistic Logic and Mathematical Proof
$54.99
Compare Now
Relational Mathematics
Cambridge University Press
Relational Mathematics
$143.86
Compare Now
Computation, Proof, Machine: Mathematics Enters a New Age
Cambridge University Press
Computation, Proof, Machine: Mathematics Enters a New Age
$105.30
Compare Now
Logic in Computer Science: Modelling and Reasoning about Systems
Cambridge University Press
Logic in Computer Science: Modelling and Reasoning about Systems
$73.92
Compare Now
After Godel Platonism and Rationalism in Mathematics and Logic
Oxford University Press
After Godel Platonism and Rationalism in Mathematics and Logic
$62.87
Compare Now
Logical Foundations of Proof Complexity
Cambridge University Press
Logical Foundations of Proof Complexity
$144.86
Compare Now
Cambridge Essentials Functional Mathematics Book + Cd-rom
Cambridge University Press
Cambridge Essentials Functional Mathematics Book + Cd-rom
$9.49
Compare Now
Linear Logic in Computer Science
Cambridge University Press
Linear Logic in Computer Science
$110.89
Compare Now
Proof and Disproof in Formal Logic An Introduction for Programmers
Oxford University Press
Proof and Disproof in Formal Logic An Introduction for Programmers
$99.10
Compare Now
Programming with Higher-Order Logic
Cambridge University Press
Programming with Higher-Order Logic
$63.94
Compare Now
Programming with Higher-Order Logic
Cambridge University Press
Programming with Higher-Order Logic
$61.44
Compare Now
Logic, Induction and Sets
Cambridge University Press
Logic, Induction and Sets
$192.81
Compare Now
The Development of Logic
Oxford University Press
The Development of Logic
$88.44
Compare Now
Computation and its Limits
Oxford University Press
Computation and its Limits
$57.54
Compare Now
Pure Inductive Logic
Cambridge University Press
Pure Inductive Logic
$119.88
Compare Now
Proofs and Refutations : The Logic of Mathematical Discovery
Cambridge University Press
Proofs and Refutations : The Logic of Mathematical Discovery
$42.46
Compare Now
Logic and Information
Cambridge University Press
Logic and Information
$131.87
Compare Now
Formal Grammar Theory and Implementation
Oxford University Press
Formal Grammar Theory and Implementation
$38.35
Compare Now
Modal Logic
Cambridge University Press
Modal Logic
$107.89
Compare Now
Papers in Philosophical Logic
Cambridge University Press
Papers in Philosophical Logic
$117.88
Compare Now
Show more products