Skip to main content
Search results

Proof, Logic and Formalization

Products

Showing 48 of 400 products
Proof, Logic and Formalization
Routledge
Proof, Logic and Formalization
$53.96
Compare Now
Syllogistic Logic and Mathematical Proof
Oxford University Press
Syllogistic Logic and Mathematical Proof
$54.99
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
Symbolic Logic Syntax, Semantics, and Proof
Rowman Littlefield Publishers
Symbolic Logic Syntax, Semantics, and Proof
$58.50
Compare Now
Handbook of Logic and Proof Techniques for Computer Science
Birkhauser
Handbook of Logic and Proof Techniques for Computer Science
$74.92
Compare Now
Introduction to Semantics and Formalization of Logic
Introduction to Semantics and Formalization of Logic
$76.36
Compare Now
A Beginner's Guide to Mathematical Logic
Dover Publications
A Beginner's Guide to Mathematical Logic
$21.26
Compare Now
Logic Techniques of Formal Reasoning
Oxford University Press
Logic Techniques of Formal Reasoning
$190.73
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
A Profile of Mathematical Logic
Dover Publications
A Profile of Mathematical Logic
$26.34
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?
$23.52
Compare Now
What Is Mathematical Logic?
Oxford University Press
What Is Mathematical Logic?
$37.29
Compare Now
Logic: The Theory of Formal Inference
Dover Publications
Logic: The Theory of Formal Inference
$12.43
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
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
Mathematical Logic A Course with Exercises Part II: Recursion Theory, Gdel's Theorems, Set Theory, Model Theory
Oxford University Press
Mathematical Logic A Course with Exercises Part II: Recursion Theory, Gdel's Theorems, Set Theory, Model Theory
$223.77
Compare Now
9% offA Synopsis of Elementary Results in Pure and Applied Mathematics
Cambridge University Press
A Synopsis of Elementary Results in Pure and Applied Mathematics
$97.20$107.35$3.88 back
Compare Now 9+ Stores
Principles and Techniques of Applied Mathematics
Dover Publications
Principles and Techniques of Applied Mathematics
$21.26
Compare Now
A Course in Mathematical Analysis
Cambridge University Press
A Course in Mathematical Analysis
$57.93
Compare Now
Basic Concepts in Modern Mathematics
Dover Publications
Basic Concepts in Modern Mathematics
$15.93
Compare Now
Basic Concepts in Modern Mathematics
Dover Publications
Basic Concepts in Modern Mathematics
$15.85
Compare Now
Logic for Computer Science Foundations of Automatic Theorem Proving, Second Edition
Dover Publications
Logic for Computer Science Foundations of Automatic Theorem Proving, Second Edition
$31.64
Compare Now
An Introduction to Mathematical Reasoning: Numbers, Sets and Functions
Cambridge University Press
An Introduction to Mathematical Reasoning: Numbers, Sets and Functions
$56.94
Compare Now
Logic in Elementary Mathematics - by Robert M Exner & Myron F Rosskopf (Paperback)
Dover Publications
Logic in Elementary Mathematics - by Robert M Exner & Myron F Rosskopf (Paperback)
$16.22
Compare Now
An Introduction to Mathematical Reasoning: Numbers, Sets and Functions
Cambridge University Press
An Introduction to Mathematical Reasoning: Numbers, Sets and Functions
$204.80
Compare Now
An Introduction to Mathematical Reasoning: Numbers, Sets and Functions
Cambridge University Press
An Introduction to Mathematical Reasoning: Numbers, Sets and Functions
$54.72
Compare Now
An Introduction to Mathematics
Dover Publications
An Introduction to Mathematics
$13.73
Compare Now
Write Your Own Proofs in Set Theory and Discrete Mathematics
Dover Publications
Write Your Own Proofs in Set Theory and Discrete Mathematics
$19.80
Compare Now
An Introduction to the Philosophy of Mathematics
Cambridge University Press
An Introduction to the Philosophy of Mathematics
$137.46
Compare Now
Mathematical Modeling and Applied Calculus
Oxford University Press
Mathematical Modeling and Applied Calculus
$42.89
Compare Now
Mathematical Modeling and Applied Calculus
Oxford University Press
Mathematical Modeling and Applied Calculus
$78.85
Compare Now
Phenomenology, Logic, and the Philosophy of Mathematics
Cambridge University Press
Phenomenology, Logic, and the Philosophy of Mathematics
$149.85
Compare Now
An Introductory Course of Mathematical Analysis
Cambridge University Press
An Introductory Course of Mathematical Analysis
$45.94
Compare Now
An Introduction to the Philosophy of Mathematics
Cambridge University Press
An Introduction to the Philosophy of Mathematics
$47.95
Compare Now
Philosophy of Mathematics Structure and Ontology
Oxford University Press
Philosophy of Mathematics Structure and Ontology
$103.36
Compare Now
Advanced Topics in Applied Mathematics
Cambridge University Press
Advanced Topics in Applied Mathematics
$109.34
Compare Now
Philosophy of Mathematics Structure and Ontology
Oxford University Press
Philosophy of Mathematics Structure and Ontology
$149.18
Compare Now
A Synopsis of Elementary Results in Pure and Applied Mathematics
Cambridge University Press
A Synopsis of Elementary Results in Pure and Applied Mathematics
$107.89
Compare Now
Foundations and Fundamental Concepts of Mathematics
Dover Publications
Foundations and Fundamental Concepts of Mathematics
$20.34
Compare Now
Advanced Mathematical Methods
Cambridge University Press
Advanced Mathematical Methods
$108.89
Compare Now
An Introduction to Mathematics
Dover Publications
An Introduction to Mathematics
$13.80
Compare Now
An Introduction to Mathematics
Dover Publications
An Introduction to Mathematics
$15.54
Compare Now
Cambridge International As & a Level Mathematics - Pure Mathematics 2 & 3 Practice Book
Cambridge University Press
Cambridge International As & a Level Mathematics - Pure Mathematics 2 & 3 Practice Book
$16.10
Compare Now
Set Theory and Logic
Dover Publications
Set Theory and Logic
$24.46
Compare Now
85% offThe Principles of Mathematics Revisited
Cambridge University Press
The Principles of Mathematics Revisited
$11.09$72.92
Compare Now 9+ Stores
The Principles of Mathematics Revisited
Cambridge University Press
The Principles of Mathematics Revisited
$46.80
Compare Now
The Principles of Mathematics Revisited
Cambridge University Press
The Principles of Mathematics Revisited
$46.80
Compare Now
Show more products