Arithmetic, Proof Theory, and Computational Complexity

Bounded Arithmetic, Propositional Logic and Complexity Theory (Encyclopedia of Mathematics and its Applications)

Pre-Owned Oxford Logic Guides Arithmetic Proof Theory and Computational Complexity Book 23 (Hardcover)

Logical Foundations of Proof Complexity

Logic and Computation: Interactive Proof with Cambridge LCF

Foundations of Computational Mathematics, Hong Kong 2008

Introduction to Formal Logic

Proofs and Refutations : The Logic of Mathematical Discovery

Proof and Disproof in Formal Logic An Introduction for Programmers

Foundations of Computational Mathematics, Minneapolis 2002

Truth Through Proof A Formalist Foundation for Mathematics

Introduction to Formal Logic

A Synopsis of Elementary Results in Pure and Applied Mathematics

A Synopsis of Elementary Results in Pure and Applied Mathematics

Mathematical Proofs A Transition to Advanced Mathematics, Books a la Carte Edition

Perspectives in Logic Logical Foundations of Proof Complexity (Hardcover)

Computational Complexity Theory

Pre-Owned Bounded Arithmetic Propositional Logic and Complexity Theory (Encyclopedia of Mathematics and its Applications Series Number 60) 9780521452052 0521452058 Hardcover 1 edition

Concise Guide to Computation Theory (Hardcover)

Computer Arithmetic and Formal Proofs

Pre-Owned Introduction to the Theory of Computation 9780534947286 053494728X Hardcover

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

Computation Theory and Logic - (Lecture Notes in Computer Science) by Egon Börger (Paperback)

Logic and Computation

An Introduction to Mathematical Proofs

An Introduction to Mathematical Proofs

Introduction to Mathematical Logic (Paperback)

A Profile of Mathematical Logic

A Profile of Mathematical Logic

Applied Logic Goal-Directed Proof Theory Book 21 (Paperback)

Sets, Logic and Maths for Computing

Pre-Owned Logic for Mathematics and Computer Science (Hardcover) 0132859742 9780132859745

Pre-Owned Math-A-Logic: Grades 4-8 (Paperback 9781593631079) by Dianne Draze

Complexity, Logic, and Recursion Theory

A First Course in Mathematical Logic and Set Theory

Foundations of Computational Mathematics, Budapest 2011

A Concise Introduction to Pure Mathematics, Fourth Edition

Monographs in Computer Science Adapting Proofs-As-Programs: The Curry--Howard Protocol (Paperback)

Pre-Owned Logic for Mathematicians (Paperback) 0521368650 9780521368650

Arithmetic and Logic in Computer Systems

Martin Davis on Computability Computational Logic and Mathematical Foundations

Elements of Logic and Foundations of Mathematics in Problems (Hardcover)

Pre-Owned Mathematical Reasoning and Heuristics (Paperback)

Infinity in Logic and Computation (Paperback)

Mathematics and Computation: A Theory Revolutionizing Technology and Science (Hardcover)

Handbook of Philosophical Logic: Volume 17

An Introduction to Discrete Mathematics, Formal System Specification, and Z

Pre-Owned Introduction to Advanced Mathematics: A Guide to Understanding Proofs (Paperback) 0547165382 9780547165387

Perspectives in Computational Complexity