Mathematical logic books

5407 books were found.

Interpreting Gödel: Critical Essays

Interpreting Gödel: Critical Essays

Author: Juliette Kennedy (University of Helsinki)
ISBN: 9781107002661
Format: Hardback
$191.45

In this groundbreaking volume, leading philosophers and mathematicians explore almost every aspect of Kurt Gödel's...  Read More >>

Proof Theory: Sequent Calculi and Related Formalisms

Proof Theory: Sequent Calculi and Related Formalisms...

Author: Katalin Bimbo (University of Alberta, Edmonton, Canada)
ISBN: 9781466564664
Format: Hardback
$221.00

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic...  Read More >>

The Algebra of Logic

The Algebra of Logic

Author: Louis Couturat ,  Lydia Gillingham Robinson
ISBN: 9781502354778
Format: Paperback
$21.09

An Unabridged Printing, To Include Updated Typeface  Read More >>

Alfred Tarski: Early Work in Poland—Geometry and Teaching

Alfred Tarski: Early Work in Poland—Geometry and Teaching...

Author: Andrew McFarland ,  Joanna McFarland
ISBN: 9781493914739
Format: Hardback
$290.37

Alfred Tarski (1901–1983) was a renowned Polish/American mathematician, a giant of the twentieth century, who helped...  Read More >>

From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz

From Linear Operators to Computational Biology: Essays...

Author: Martin Davis ,  Edmond Schonberg
ISBN: 9781447161707
Format: Paperback
$290.37

This book offers essays by friends, students and collaborators of Jacob T. Schwartz at the Courant Institute of...  Read More >>

Loose Leaf Math in Our World with Connect

Loose Leaf Math in Our World with Connect

Author: David Sobecki (Parkland College)
ISBN: 9781259548161
Format: Loose-leaf
$615.96

Connect Math Hosted by ALEKS is an online assignment and assessment platform that helps students connect to their...  Read More >>

Duality Theories for Boolean Algebras with Operators

Duality Theories for Boolean Algebras with Operators...

Author: Steven Givant
ISBN: 9783319067421
Format: Hardback
$145.17

In this new text, Steven Givant—the author of several acclaimed books, including works co-authored with Paul Halmos...  Read More >>

Perspectives in Computational Complexity: The Somenath Biswas Anniversary Volume

Perspectives in Computational Complexity: The Somenath...

Author: Manindra Agrawal ,  Vikraman Arvind
ISBN: 9783319054452
Format: Hardback
$203.95

This book brings together contributions by leading researchers in computational complexity theory written in honor...  Read More >>

Griddlers Logic Puzzles: Black and White

Griddlers Logic Puzzles: Black and White

Author: Rastislav Rehak ,  Elad Maor
ISBN: 9789657679111
Format: Paperback
$47.52

 Read More >>

Logic, Computation, Hierarchies

Logic, Computation, Hierarchies

Author: Vasco Brattka ,  Hannes Diener
ISBN: 9781614517832
Format: Hardback
$257.31

 Read More >>

A Beginner’s Guide to Mathematical Logic

A Beginner’s Guide to Mathematical Logic

Author: Raymond Smullyan
ISBN: 9780486492377
Format: Paperback
$56.99

Combining stories of great writers and philosophers with quotations and riddles, this completely original text for...  Read More >>

Math for Elementary Teachers: A Conceptual Approach with Manipulative Kit

Math for Elementary Teachers: A Conceptual Approach...

Author: Albert B Bennett, Professor (Univ of New Hampshire) ,  Laurie J Burton, Associate Professor and Chair (Western Oregon University)
ISBN: 9781259542213
Format: Hardback
$581.22

The tenth edition of Mathematics for Elementary Teachers: A Conceptual Approach continues the innovative time-tested...  Read More >>

E-recursion, Forcing And C*-algebras

E-recursion, Forcing And C*-algebras

Author: Chi Tat Chong (Nus, S'pore) ,  Qi Feng (Chinese Academy Of Sciences, China)
ISBN: 9789814603256
Format: Paperback
$59.51

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at...  Read More >>

The Logic of Infinity

The Logic of Infinity

Author: Barnaby Sheppard
ISBN: 9781107678668
Format: Paperback
$121.59

 Read More >>

The Logic of Infinity

The Logic of Infinity

Author: Barnaby Sheppard
ISBN: 9781107058316
Format: Hardback
$346.73

Few mathematical results capture the imagination like Georg Cantor's theory of infinity. Bridging the gap between...  Read More >>

E-recursion, Forcing And C*-algebras

E-recursion, Forcing And C*-algebras

Author: Chi Tat Chong (Nus, S'pore) ,  Qi Feng (Chinese Academy Of Sciences, China)
ISBN: 9789814602631
Format: Hardback
$181.13

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at...  Read More >>

Remarks on the Foundation of Mathematics [Bemerkungen Uber Die Grundlagen Der Mathematik]

Remarks on the Foundation of Mathematics [Bemerkungen...

Author:
ISBN: 9781614276500
Format: Paperback
$44.75

 Read More >>

Mathematics for Elementary Teachers: A Conceptual Approach with an Activity Approach and Manipulative Kit

Mathematics for Elementary Teachers: A Conceptual Approach...

Author: Albert B Bennett, Professor (Univ of New Hampshire) ,  Laurie J Burton, Associate Professor and Chair (Western Oregon University)
ISBN: 9781259542190
Format: Mixed media product
$1095.49

The tenth edition of Mathematics for Elementary Teachers: A Conceptual Approach continues the innovative time-tested...  Read More >>

Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Rewriting and Typed Lambda Calculi: Joint International...

Author: Gilles Dowek
ISBN: 9783319089171
Format: Paperback
$116.41

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques...  Read More >>

Griddlers Logic Puzzles: Black and White

Griddlers Logic Puzzles: Black and White

Author: Rastislav Rehak ,  Elad Maor
ISBN: 9789657679012
Format: Paperback
$47.52

 Read More >>

Predicative Arithmetic

Predicative Arithmetic

Author: Edward Nelson
ISBN: 9780691610290
Format: Paperback
$62.99

This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael...  Read More >>

Pristine Perspectives on Logic, Language and Computation: ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers

Pristine Perspectives on Logic, Language and Computation:...

Author: Margot Colinet ,  Sophia Katrenko
ISBN: 9783662441152
Format: Paperback
$145.17

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association...  Read More >>

Griddlers Logic Puzzles: Black and White

Griddlers Logic Puzzles: Black and White

Author: Griddlers Team ,  Elad Maor
ISBN: 9781500476441
Format: Paperback
$44.88

 Read More >>

Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List