Mathematical logic books

5407 books were found.

Introduction to Logic

Introduction to Logic
Author: Patrick Suppes (Stanford University, California) ISBN: 9781258454296 Format: Paperback	$94.91
Part I of this coherent, well-organized text deals with formal principles of inference and definition. Part II explores... Read More >>

Introduction to Logic

Introduction to Logic
Author: Patrick Suppes (Stanford University, California) ISBN: 9781258453077 Format: Hardback	$134.51
Read More >>

Computability Theory

Computability Theory
Author: Rebecca Weber ISBN: 9780821873922 Format: Paperback	$100.10
Read More >>

Advances in Modal Logic Volume 9

Advances in Modal Logic Volume 9
Author: Thomas Bolander , Torben Brauner ISBN: 9781848900684 Format: Paperback	$41.40
Read More >>

Future Directions in Logic. Proceedings of PhDs in Logic III

Future Directions in Logic. Proceedings of PhDs in Logic...
Author: Jonas De Vuyst , Lorenz Demey ISBN: 9781848900790 Format: Paperback	$25.88
Read More >>

Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings

Application and Theory of Petri Nets: 33rd International...
Author: Serge Haddad , Lucia Pomello ISBN: 9783642311307 Format: Paperback	$145.17
This book constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of... Read More >>

Mathematical Logic for Computer Science

Mathematical Logic for Computer Science
Author: Mordechai Ben-Ari ISBN: 9781447141280 Format: Paperback	$142.29
Read More >>

Introduction to Bisimulation and Coinduction

Introduction to Bisimulation and Coinduction
Author: Davide Sangiorgi (Università di Bologna) ISBN: 9780511777110 Format: Undefined	$594.00
Bisimulation and coinduction offer powerful tools for understanding structures that are common in computer science,... Read More >>

Changes of Mind: An Essay on Rational Belief Revision

Changes of Mind: An Essay on Rational Belief Revision...
Author: Neil Tennant (Arts & Humanities Distinguished Professor in Philosophy, and Adjunct Professor in Cognitive Science, The Ohio State University) ISBN: 9780199655755 Format: Hardback	$318.00
An account of how a rational agent should revise beliefs in the light of new evidence. This theory is set apart... Read More >>

Introduction to Mathematical Structures and Proofs

Introduction to Mathematical Structures and Proofs
Author: Larry J. Gerstein ISBN: 9781461442646 Format: Hardback	$158.27
As a student moves from basic calculus courses into upper-division courses in linear and abstract algebra, real... Read More >>

Propositional Logics Third Edition

Propositional Logics Third Edition
Author: Richard L Epstein ISBN: 9780983452164 Format: Hardback	$131.87
Propositional Logics presents the history, philosophy, and mathematics of the major systems of propositional logic.... Read More >>

Alan Turing's Systems of Logic: The Princeton Thesis

Alan Turing's Systems of Logic: The Princeton Thesis...
Author: Andrew W. Appel ISBN: 9780691155746 Format: Hardback	$54.99
Read More >>

Not Exactly: In Praise of Vagueness

Not Exactly: In Praise of Vagueness
Author: Kees van Deemter (Reader in Computing Science, University of Aberdeen) ISBN: 9780199645732 Format: Paperback	$35.95
Our lives are full of inexactitude. We say a person is tall or an action is just without the precision of measurement... Read More >>

The Logica Yearbook 2011

The Logica Yearbook 2011
Author: Michal Pelis , Vit Punchochar ISBN: 9781848900714 Format: Paperback	$32.34
Read More >>

Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel

Foundations of Mathematics: Symposium Papers Commemorating...
Author: Jack John Bulloff , Thomas Campell Holyoke ISBN: 9783642867477 Format: Paperback	$145.17
Dr. KURT GODEL'S sixtieth birthday (April 28, 1966) and the thirty fifth anniversary of the publication of his... Read More >>

The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse

The Logic of Time: A Model-Theoretic Investigation into...
Author: Johan van Benthem ISBN: 9789401098700 Format: Paperback	$316.77
That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make.... Read More >>

A Proof Theory for Description Logics

A Proof Theory for Description Logics
Author: Alexandre Rademaker ISBN: 9781447140016 Format: Paperback	$145.17
Read More >>

Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach

Graph Structure and Monadic Second-Order Logic: A Language-Theoretic...
Author: Bruno Courcelle (Université de Bordeaux) , Joost Engelfriet (Associate Professor, Universiteit Leiden) ISBN: 9780511977619 Format: Undefined	$435.60
The study of graph structure has advanced with great strides. This book unifies and synthesizes research over the... Read More >>

The Mathematical Philosophy of Bertrand Russell: Origins and Development

The Mathematical Philosophy of Bertrand Russell: Origins...
Author: Francisco Rodríguez-Consuegra ISBN: 9783034875356 Format: Paperback	$145.17
Russell was important in publicising the former and tutoring the latter, and also for working with Moore in the... Read More >>

Fuzzy Mathematics: Approximation Theory

Fuzzy Mathematics: Approximation Theory
Author: George A. Anastassiou ISBN: 9783642262395 Format: Paperback	$448.77
This monograph is the r st in Fuzzy Approximation Theory. In Chapter 1 we give an extensive basic background on... Read More >>

Simple Theories and Hyperimaginaries

Simple Theories and Hyperimaginaries
Author: Enrique Casanovas ISBN: 9781280775925 Format: Undefined	$330.00
Read More >>

Theory of Finite and Infinite Graphs

Theory of Finite and Infinite Graphs
Author: Denes König , W.T. Tutte ISBN: 9781468489736 Format: Paperback	$145.17
An English version of Koenig's work. Its subject has become increasingly important in recent years, largely due... Read More >>

From Asynchronous Logic to The Standard Model to Superflight to the Stars: Volume 2 Superluminal CP and CPT Symmetry, U(4) Complex General Relativity & The Standard Model, Complex Vierbein General Relativity, Kinetic Theory, Thermodynamics

From Asynchronous Logic to The Standard Model to Superflight...
Author: Stephen Blaha ISBN: 9780984553051 Format: Paperback	$131.87
"This book is the second volume exploring the properties of faster than light particles (tachyons). The existence... Read More >>

Quantitative Logic And Soft Computing - Proceedings Of The Ql&sc 2012

Quantitative Logic And Soft Computing - Proceedings...
Author: Yongming Li (Shaanxi Normal Univ, China) , Guojun Wang (Shaanxi Normal Univ, China) ISBN: 9789814401524 Format: Hardback	$595.13
The QL&SC 2012 is a major symposium for scientists, and practitioners all around the world to present their researches,... Read More >>

Einführung in die operative Logik und Mathematik

Einführung in die operative Logik und Mathematik
Author: Paul Lorenzen ISBN: 9783642865190 Format: Paperback	$171.57
in die operative Logik und Mathematik Zweite Auflage Springer-Verlag Berlin Heidelberg New York 1969 Paul Lorenzen... Read More >>

Page 112 of 217 ... 107 108 109 110 111 112 113 114 115 116 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now