Mathematical logic books

5407 books were found.

Cellular Automata and Groups

Cellular Automata and Groups
Author: ISBN: 9781280391811 Format: Undefined	$327.36
Read More >>

Algorithmic Randomness and Complexity

Algorithmic Randomness and Complexity
Author: ISBN: 9781280390869 Format: Electronic book text	$261.36
Read More >>

Conservation of (a) Constant

Conservation of (a) Constant
Author: Ilexa Yardley ISBN: 9781499206081 Format: Paperback	$39.57
Read More >>

Mathematische Logik

Mathematische Logik
Author: ISBN: 9781280391484 Format: Electronic book text	$52.67
Read More >>

Constructivism in Mathematics Vol.1

Constructivism in Mathematics Vol.1
Author: Anne S Troelstra , A S Troelstra ISBN: 9781282617797 Format: Electronic book text	$1188.00
Read More >>

Understanding Mathematical Proof

Understanding Mathematical Proof
Author: John Taylor , Rowan Garnier ISBN: 9781466514904 Format: Paperback	$131.00
The notion of proof is central to mathematics yet it is one of the most difficult aspects of the subject to teach... Read More >>

Philosophy of Mathematics in the Twentieth Century: Selected Essays

Philosophy of Mathematics in the Twentieth Century:...
Author: Charles Parsons ISBN: 9780674728066 Format: Hardback	$120.95
In these selected essays, Charles Parsons surveys the contributions of philosophers and mathematicians who shaped... Read More >>

Logical Foundations of Proof Complexity

Logical Foundations of Proof Complexity
Author: Stephen Cook (University of Toronto) , Phuong Nguyen (McGill University, Montréal) ISBN: 9781107694118 Format: Paperback	$150.05
This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity.... Read More >>

Logic Colloquium 2007

Logic Colloquium 2007
Author: Françoise Delon , Ulrich Kohlenbach (Technische Universität, Darmstadt, Germany) ISBN: 9781107696778 Format: Paperback	$95.71
Read More >>

Foundations of Algebraic Specification and Formal Software Development

Foundations of Algebraic Specification and Formal Software...
Author: Donald Sannella , Andrzej Tarlecki ISBN: 9783642440656 Format: Paperback	$237.57
This book provides foundations for software specification and formal software development from the perspective of... Read More >>

Intuitionistic Set Theory

Intuitionistic Set Theory
Author: John L Bell (Professor of Philosophy University of Western Ontario) ISBN: 9781848901407 Format: Paperback	$25.88
Read More >>

The Cloud Of Unknowing

The Cloud Of Unknowing
Author: HTTP //Evelynunderhill Org/ Evelyn Underhill ISBN: 9781498026758 Format: Paperback	$94.91
An unabridged printing of the second edition taken from the 'New... Read More >>

The Cloud Of Unknowing

The Cloud Of Unknowing
Author: HTTP //Evelynunderhill Org/ Evelyn Underhill ISBN: 9781494128081 Format: Hardback	$134.51
An unabridged printing of the second edition taken from the 'New... Read More >>

Introduction to Propositional Satisfiability

Introduction to Propositional Satisfiability
Author: Victor Marek ISBN: 9781848901391 Format: Paperback	$35.58
Read More >>

Logica E Raciocinio

Logica E Raciocinio
Author: Joao Pavao Martins ISBN: 9781848901254 Format: Paperback	$76.56
O objetivo do livro é a apresentação dos principais conceitos e metodologias associados à Lógica para estudantes... Read More >>

Cardinal Invariants on Boolean Algebras: Second Revised Edition

Cardinal Invariants on Boolean Algebras: Second Revised...
Author: J. Donald Monk ISBN: 9783034807296 Format: Hardback	$369.57
This book is concerned with cardinal number valued functions defined for any Boolean algebra. Diagrams at the end... Read More >>

Notes On Forcing Axioms

Notes On Forcing Axioms
Author: Stevo Todorcevic (Univ Of Toronto, Canada) , Chi Tat Chong (Nus, S'pore) ISBN: 9789814571579 Format: Hardback	$160.43
In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array... Read More >>

Why Is There Philosophy of Mathematics At All?

Why Is There Philosophy of Mathematics At All?
Author: Ian Hacking (University of Toronto) ISBN: 9781107658158 Format: Paperback	$64.66
Read More >>

Why Is There Philosophy of Mathematics At All?

Why Is There Philosophy of Mathematics At All?
Author: Ian Hacking (University of Toronto) ISBN: 9781107050174 Format: Hardback	$194.04
Ian Hacking draws on cognitive sciences, evolutionary psychology, neurology, developmental psychology, and cognitive... Read More >>

Three Views of Logic: Mathematics, Philosophy, and Computer Science

Three Views of Logic: Mathematics, Philosophy, and Computer...
Author: Donald W. Loveland , Richard Hodel ISBN: 9780691160443 Format: Paperback	$94.99
Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy,... Read More >>

Elements of Logical Reasoning

Elements of Logical Reasoning
Author: Jan von Plato (University of Helsinki) ISBN: 9781107610774 Format: Paperback	$59.49
Read More >>

Elements of Logical Reasoning

Elements of Logical Reasoning
Author: Jan von Plato (University of Helsinki) ISBN: 9781107036598 Format: Hardback	$194.06
This book is an accessible and scientifically rigorous introduction to the principles of logical reasoning, covering... Read More >>

Infinity And Truth

Infinity And Truth
Author: Chi Tat Chong (Nus, S'pore) , Qi Feng (Chinese Academy Of Sciences, China) ISBN: 9789814571036 Format: Hardback	$144.90
This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical... Read More >>

The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940

The Adventure of Reason: Interplay Between Philosophy...
Author: Paolo Mancosu (University of California Berkeley) ISBN: 9780198701514 Format: Paperback	$128.95
Read More >>

Kurt Gödel: Collected Works: Volume IV

Kurt Gödel: Collected Works: Volume IV
Author: Kurt Gödel , Solomon Feferman (Stanford University) ISBN: 9780199689613 Format: Paperback	$175.95
Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century. These collected works form... Read More >>

Page 95 of 217 ... 90 91 92 93 94 95 96 97 98 99 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now