Mathematical logic books

5407 books were found.

Parameterized and Exact Computation

Parameterized and Exact Computation

Author:
ISBN: 9781280390593
Format: Undefined
$190.08

 Read More >>

Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal

Axiom of Determinacy, Forcing Axioms, and the Nonstationary...

Author: Professor of Mathematics W Hugh Woodin (University of California, Berkeley)
ISBN: 9781282722873
Format: Electronic book text
$628.32

This is the revised edition of a well-established monograph on the identification of a canonical model in which...  Read More >>

Cognitive Reasoning: A Formal Approach

Cognitive Reasoning: A Formal Approach

Author: Tam Oleg Anshakov
ISBN: 9781282835771
Format: Undefined
$498.96

 Read More >>

Nonlinear Integrals and Their Applications in Data Mining

Nonlinear Integrals and Their Applications in Data Mining...

Author: Zhenyuan Wang
ISBN: 9781283143523
Format: Electronic book text
$327.36

 Read More >>

A Framework for Priority Arguments

A Framework for Priority Arguments

Author: Manuel Lerman (University of Connecticut)
ISBN: 9781282630772
Format: Undefined
$330.00

This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority...  Read More >>

P, NP and NP-Completeness

P, NP and NP-Completeness

Author: Oded Goldreich (Weizmann Institute of Science, Israel)
ISBN: 9781282797666
Format: Undefined
$514.80

The focus of this book is the P versus NP Question and the theory of NP-completeness. It also provides adequate...  Read More >>

Not Exactly: In Praise of Vagueness

Not Exactly: In Praise of Vagueness

Author:
ISBN: 9781282465800
Format: Electronic book text
$101.64

Not everything is black and white. Our daily lives are full of vagueness or fuzziness. Language is the most obvious...  Read More >>

Logic with a Probability Semantics

Logic with a Probability Semantics

Author: Theodore Hailperin
ISBN: 9781283233880
Format: Electronic book text
$158.37

 Read More >>

Reliable and Autonomous Computational Science: International Conference, Racs 2010, Atlanta, Ga, USA, October 27-30, 2010

Reliable and Autonomous Computational Science: International...

Author: Sung Y Shin ,  Rex Gantenbein
ISBN: 9781283074742
Format: Electronic book text
$446.16

 Read More >>

Logique Arithmetique: L'Arithmetisation de La Logique

Logique Arithmetique: L'Arithmetisation de La Logique...

Author: Yvon Gauthier ,  Gauthier Yvon
ISBN: 9781322492636
Format: Electronic book text
$116.27

La logique arithmetique est la logique interne de l'arithmetique, c'est la traduction ou l'interpretation de la...  Read More >>

Symbolic Logic

Symbolic Logic

Author: John Venn
ISBN: 9781150161629
Format: Paperback
$93.56

 Read More >>

Transactions on Petri Nets and Other Models of Concurrency III

Transactions on Petri Nets and Other Models of Concurrency...

Author: Kurt Jensen ,  Jonathan Billington
ISBN: 9783642048548
Format: Paperback
$258.72

This volume contains papers from the 29th International Conference on Application and Theory of Petri Nets and Other...  Read More >>

Witnessed Years: Essays in Honour of Petr Hajek

Witnessed Years: Essays in Honour of Petr Hajek

Author: Petr Cintula ,  Zuzana Hanikova
ISBN: 9781904987635
Format: Paperback
$41.40

 Read More >>

There's Something About Gödel: The Complete Guide to the Incompleteness Theorem

There's Something About Gödel: The Complete Guide to...

Author: Francesco Berto (Ca' Foscari University of Venice, Italy)
ISBN: 9781405197670
Format: Paperback
$53.95

There's Something About Godel is a lucid and accessible guide to Godel's revolutionary Incompleteness Theorem, considered...  Read More >>

There's Something About Gödel: The Complete Guide to the Incompleteness Theorem

There's Something About Gödel: The Complete Guide to...

Author: Francesco Berto (Ca' Foscari University of Venice, Italy)
ISBN: 9781405197663
Format: Hardback
$176.95

There's Something About Godel is a lucid and accessible guide to Godel's revolutionary Incompleteness Theorem...  Read More >>

A Course in Mathematical Logic for Mathematicians

A Course in Mathematical Logic for Mathematicians

Author: Yu. I. Manin ,  Neal Koblitz
ISBN: 9781441906144
Format: Hardback
$184.67

In the intervening three decades, a lot of interesting things have happened to mathematical logic: (i) Model theory...  Read More >>

The Axiom of Choice

The Axiom of Choice

Author: John L. Bell ,  J L Bell
ISBN: 9781904987543
Format: Paperback
$40.75

 Read More >>

Einfuhrung in Die Mengenlehre

Einfuhrung in Die Mengenlehre

Author: Oliver Deiser
ISBN: 9783642014444
Format: Paperback
$105.47

Das Buch, das nun in dritter, korrigierter Auflage vorliegt, behandelt die Basis-Resultate der Mengenlehre aus der...  Read More >>

The Algebra of Logic

The Algebra of Logic

Author: Louis Couturat
ISBN: 9781116928303
Format: Paperback
$52.14

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

Saturated Model Theory (2nd Edition)

Saturated Model Theory (2nd Edition)

Author: Gerald E Sacks (Harvard Univ, Usa)
ISBN: 9789812833815
Format: Hardback
$126.72

Contains the material for a first course in pure model theory with applications to differentially closed fields....  Read More >>

The Algebra of Logic

The Algebra of Logic

Author: Louis Couturat
ISBN: 9781116928280
Format: Hardback
$76.53

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

The Algebra of Logic

The Algebra of Logic

Author: Louis Couturat
ISBN: 9781116928297
Format: Hardback
$65.97

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

A Problem Course in Mathematical Logic

A Problem Course in Mathematical Logic

Author: Stefan Bilaniuk
ISBN: 9781616100063
Format: Paperback
$87.12

A Problem Course in Mathematical Logic is intended to serve as the text for an introduction to mathematical logic...  Read More >>

Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List