Bounded Arithmetic, Propositional Logic and Complexity Theory

Bounded Arithmetic, Propositional Logic and Complexity Theory

Logic and Computation: Interactive Proof with Cambridge LCF

Mathematical Logic A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Subsystems of Second Order Arithmetic

The Oxford Handbook of Philosophy of Mathematics and Logic

Computation, Proof, Machine: Mathematics Enters a New Age

Foundations of Computational Mathematics

An Introduction to Non-Classical Logic: From If to Is

Student's Solutions Manual for Finite Mathematics

Finite Mathematics for Business, Economics, Life Sciences, and Social Sciences, Books a la Carte, and MyLab Math with Pearson eText -- 24-Month Access

The Nature of Physical Computation

Advanced Topics in Applied Mathematics

Mathematical Logic

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

A Level Further Mathematics for Aqa Student Book, Year 2

Foundations of Computational Mathematics, Minneapolis 2002

Logic An Emphasis on Formal Logic

Foundations of Computational Mathematics, Minneapolis 2002

Cambridge Primary Mathematics Learner's Book, Stage 3

Computational Physics

What Is Mathematical Logic?

What Is Mathematical Logic?

Topics in Finite and Discrete Mathematics

Arithmetic, Proof Theory, and Computational Complexity

Oxford Mathematics Primary Years Programme Teacher Book 5

Sets for Mathematics

Student's Solutions Manual for Finite Mathematics for Business, Economics, Life Sciences and Social Sciences

Finite Mathematics for Business, Economics, Life Sciences and Social Sciences

Finite Mathematics and Calculus with Applications

Applied Computational Physics

Finite Mathematics and Calculus with Applications

Finite Mathematics and Calculus with Applications

Mathematical Modeling and Applied Calculus

Mathematical Modeling and Applied Calculus

Finite Mathematics for Business, Economics, Life Sciences, and Social Sciences

Finite Mathematics for Business, Economics, Life Sciences, and Social Sciences

Student's Solutions Manual for Elementary & Intermediate Algebra

Sets, Logic and Maths for Computing

Logic Language Information and Computation (Paperback)

Mathematical Logic A First Course

A First Course in Mathematical Logic and Set Theory

Arithmetic and Logic in Computer Systems

think complexity complexity science and computational modeling

Computational Complexity: A Modern Approach

computational complexity a modern approach

Universitext A Course on Mathematical Logic (Paperback)

Logic of Mathematics A Modern Course of Classical Logic

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science