Mathematical logic books

5407 books were found.

An Investigation Of The Laws Of Thought: On Which Are Founded The Mathematical Theories Of Logic And Probabilities

An Investigation Of The Laws Of Thought: On Which Are...

Author: George Boole
ISBN: 9780548185780
Format: Hardback
$137.15

A timeless introduction to the field and a landmark in symbolic logic, showing that classical logic can be treated...  Read More >>

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to...

Author: Hubert Comon-Lundh ,  Claude Kirchner
ISBN: 9783540731467
Format: Paperback
$171.47

He has played a leading role in field of rewriting and its technology, advancing the research areas of unification,...  Read More >>

Developments in Language Theory: 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings

Developments in Language Theory: 11th International...

Author: Tero Harju ,  Juhani Karhumäki
ISBN: 9783540732075
Format: Paperback
$211.07

Addresses important issues in language theory including grammars, acceptors and transducers for words, trees and...  Read More >>

Petri Nets and Other Models of Concurrency - ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings

Petri Nets and Other Models of Concurrency - ICATPN...

Author: Jetty Kleijn ,  Alex Yakovlev
ISBN: 9783540730934
Format: Paperback
$237.47

Constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets...  Read More >>

Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings

Typed Lambda Calculi and Applications: 8th International...

Author: Simona Ronchi Della Rocca
ISBN: 9783540732273
Format: Paperback
$211.07

Constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications,...  Read More >>

The Oxford Handbook of Philosophy of Mathematics and Logic

The Oxford Handbook of Philosophy of Mathematics and...

Author: Stewart Shapiro (Professor of Philosophy, Professor of Philosophy, Ohio State University)
ISBN: 9780195325928
Format: Paperback
$82.95

Philosophy of mathematics and logic remain central disciplines in contemporary philosophy. This volume covers these...  Read More >>

Logic in Arithmetic

Logic in Arithmetic

Author: William F Scott (Heriot-Watt University, Edinburgh)
ISBN: 9781432704520
Format: Paperback
$52.67

Logic in Arithmetic An introduction to mathematical logic and Peano Arithmetic, including Gentzen's consistency...  Read More >>

Nonlinear Dynamics Perspective of Wolfram's New Kind of Science, A. World Scientific Series on Nonlinear Science, Volume 2.

Nonlinear Dynamics Perspective of Wolfram's New Kind...

Author: Leon O Chua
ISBN: 9786611930110
Format: Electronic book text
$1378.08

Computational optimization methods have matured over the last few years due to extensive research by applied mathematicians...  Read More >>

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings

Theory and Applications of Satisfiability Testing -...

Author: Joao Marques-Silva ,  Karem A. Sakallah
ISBN: 9783540727873
Format: Paperback
$197.87

This volume contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications...  Read More >>

Mathematical Logic

Mathematical Logic

Author: Ian Chiswell (Queen Mary, University of London) ,  Wilfrid Hodges (Queen Mary, University of London)
ISBN: 9780199215621
Format: Paperback
$135.95

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate...  Read More >>

Radio Frequency Identification Device (Rfid) Technology in United Kingdom: A Strategic Reference, 2006

Radio Frequency Identification Device (Rfid) Technology...

Author: Inc Icon Group International
ISBN: 9786611460778
Format: Electronic book text
$1029.60

This report provides a detailed overview of factors driving latent demand and accessibility for radio frequency...  Read More >>

Radio Frequency Identification Device (Rfid Technology in United Kingdom: A Strategic Reference, 2006

Radio Frequency Identification Device (Rfid Technology...

Author:
ISBN: 9781281460776
Format: Electronic book text
$617.76

This report provides a detailed overview of factors driving latent demand and accessibility for radio frequency...  Read More >>

Mathematical Logic

Mathematical Logic

Author: Ian Chiswell (Queen Mary, University of London) ,  Wilfrid Hodges (Queen Mary, University of London)
ISBN: 9780198571001
Format: Hardback
$311.95

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate...  Read More >>

The Legacy of Mario Pieri in Geometry and Arithmetic

The Legacy of Mario Pieri in Geometry and Arithmetic...

Author: Elena Anne Marchisotto ,  James T. Smith
ISBN: 9780817632106
Format: Hardback
$290.37

During his twenties came appointments in Turin, first at the military academy and then also at the university, where...  Read More >>

An Investigation of the Laws of Thought

An Investigation of the Laws of Thought

Author: George Boole
ISBN: 9781602064522
Format: Paperback
$30.36

 Read More >>

The Cloud of Unknowing

The Cloud of Unknowing

Author: HTTP //Evelynunderhill Org/ Evelyn Underhill
ISBN: 9781602064980
Format: Paperback
$34.19

An unabridged printing of the second edition taken from the 'New...  Read More >>

The Number System

The Number System

Author: Ezra Po ,  H.A. Thurston
ISBN: 9780486458069
Format: Paperback
$24.99

 Read More >>

Fuzzy Choice Functions: A Revealed Preference Approach

Fuzzy Choice Functions: A Revealed Preference Approach...

Author: Irina Georgescu
ISBN: 9783540689973
Format: Hardback
$393.36

A main topic in welfare economics is the rational behaviour of a consumer when, faced with various prices and incomes,...  Read More >>

Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Studies in Logic and the Foundations of Mathematics, Volume 151.

Residuated Lattices: An Algebraic Glimpse at Substructural...

Author: Nikolaos Galatos ,  Peter Jipsen
ISBN: 9786611051068
Format: Electronic book text
$696.96

This book considers both the algebraic and logical perspective within a common framework. It is written by experts...  Read More >>

Essays on the Theory of Numbers (Second Edition)

Essays on the Theory of Numbers (Second Edition)

Author: Richard Dedekind ,  Wooster Woodruff Beman
ISBN: 9781434499912
Format: Paperback
$26.37

Included in this volume are two essays on the theory of numbers: Continuity and Irrational Numbers and The Nature...  Read More >>

Mathematical Logic. Oxford Texts in Logic, Volume 3.

Mathematical Logic. Oxford Texts in Logic, Volume 3....

Author: Ian Chiswell (Queen Mary, University of London) ,  Wilfrid Hodges (Queen Mary, University of London Queen Mary and Westfield College, London University Queen Mary and Westfield College, London University)
ISBN: 9781281160423
Format: Electronic book text
$136.67

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate...  Read More >>

Mathematical Problems from Applied Logic II: Logics for the XXIst Century

Mathematical Problems from Applied Logic II: Logics...

Author: Dov Gabbay ,  Sergei Goncharov
ISBN: 9780387692449
Format: Hardback
$514.80

""Mathematical Problems from Applied Logic II"" presents chapters from selected, world renowned, logicians. logic...  Read More >>

Advances in Logic

Advances in Logic

Author: Su Gao ,  Steve Jackson
ISBN: 9780821838198
Format: Paperback
$220.00

 Read More >>

Mathematical Logic. Oxford Texts in Logic, Volume 3.

Mathematical Logic. Oxford Texts in Logic, Volume 3....

Author: Ian Chiswell (Queen Mary, University of London) ,  Wilfrid Hodges (Queen Mary, University of London)
ISBN: 9786611160425
Format: Electronic book text
$150.35

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate...  Read More >>

Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List