Mathematical logic books

5407 books were found.

Arch Papers on the Mathematics of Abstraction, The. the Western Ontario Series in Philosophy of Science.

Arch Papers on the Mathematics of Abstraction, The....

Author: Roy T Cook
ISBN: 9786611138622
Format: Electronic book text
$892.32

This volume collects together a number of important papers concerning both the method of abstraction generally and...  Read More >>

Positivity. Trends in Mathematics

Positivity. Trends in Mathematics

Author: Karim Boulabiar ,  Gerard Buskes
ISBN: 9786611140809
Format: Electronic book text
$733.92

 Read More >>

World Market for Nickel Ores and Concentrates, The: A 2007 Global Trade Perspective

World Market for Nickel Ores and Concentrates, The:...

Author: Philip M Parker
ISBN: 9781281473097
Format: Electronic book text
$1029.60

This report was created for strategic planners, international executives and import/export managers who are concerned...  Read More >>

The Calculus of Computation: Decision Procedures with Applications to Verification

The Calculus of Computation: Decision Procedures with...

Author: Aaron R Bradley ,  Zohar Manna
ISBN: 9781281355263
Format: Undefined
$131.87

 Read More >>

Logic for Dummies

Logic for Dummies

Author: Mark Zegarelli (?)
ISBN: 9781280722011
Format: Electronic book text
$52.77

Logic concepts are more mainstream than you may realize. There's logic every place you look and in almost everything...  Read More >>

A Foundations and Trends: Survey of Lower Bounds for Satisfiability and Related Problems

A Foundations and Trends: Survey of Lower Bounds for...

Author: Dieter Van Melkebeek
ISBN: 9781282929326
Format: Electronic book text
$264.00

 Read More >>

World Market for Safflower Seeds, The: A 2007 Global Trade Perspective

World Market for Safflower Seeds, The: A 2007 Global...

Author: Philip M Parker
ISBN: 9781281471413
Format: Electronic book text
$1029.60

This report was created for strategic planners, international executives and import/export managers who are concerned...  Read More >>

Symbolic-Numeric Computation

Symbolic-Numeric Computation

Author: Dongming Wang ,  Lihong Zhi
ISBN: 9781280943782
Format: Electronic book text
$366.96

The growing demand of speed, accuracy, and reliability in scientific and engineering computing has accelerated the...  Read More >>

Thinking about Godel and Turing: Essays on Complexity, 1970 2007

Thinking about Godel and Turing: Essays on Complexity,...

Author: Gregory J Chaitin
ISBN: 9781281918673
Format: Electronic book text
$425.04

Dr Gregory Chaitin, one of the world's leading mathematicians, is best known for his discovery of the remarkable...  Read More >>

Computability and Logic 5ed

Computability and Logic 5ed

Author: George S Boolos (Massachusetts Institute of Technology) ,  John P Burgess
ISBN: 9781282389922
Format: Undefined
$514.80

Computability and Logic has become a classic because of its accessibility to students without a mathematical background...  Read More >>

Brouwer meets Husserl: On the Phenomenology of Choice Sequences

Brouwer meets Husserl: On the Phenomenology of Choice...

Author: Mark van Atten
ISBN: 9781402050862
Format: Hardback
$446.16

But other mathematicians and philosophers have been voicing objections to choice sequences from the start. This...  Read More >>

Handbook of Combinatorial Designs

Handbook of Combinatorial Designs

Author: Charles J. Colbourn (Arizona State University, Phoenix, Arizona, USA) ,  Jeffrey H. Dinitz
ISBN: 9781584885061
Format: Hardback
$452.00

Covers the constructions of designs, existence results, properties of designs, and applications of designs. This...  Read More >>

The Official Guide to the New Toeflibt

The Official Guide to the New Toeflibt

Author: Educational Testing Service
ISBN: 9786611791803
Format: Mixed media product
$184.54

<p>The bestselling official guide to the new-format Test of English as a Foreign Language(TM) (TOEFL) now includes...  Read More >>

Studyguide for Computational Complexity by Papadimitriou, ISBN 9780201530827

Studyguide for Computational Complexity by Papadimitriou,...

Author: 1st Edition Papadimitriou ,  Cram101 Textbook Reviews
ISBN: 9781428814097
Format: Paperback
$73.79

Never HIGHLIGHT a Book Again! Includes all testable terms, concepts, persons, places, and events. Cram101 Just the...  Read More >>

Semigroups Underlying First-order Logic

Semigroups Underlying First-order Logic

Author: William Craig
ISBN: 9780821841495
Format: Paperback
$152.90

 Read More >>

Selected Preserver Problems on Algebraic Structures of Linear Operators and on Function Spaces

Selected Preserver Problems on Algebraic Structures...

Author: L. Molnár
ISBN: 9783540399445
Format: Paperback
$184.67

Over the past several decades, the territory of preserver problems has been continuously enlarging within the frame...  Read More >>

Pattern Theory: From Representation to Inference

Pattern Theory: From Representation to Inference

Author: Professor Ulf Grenander ,  Michael Miller
ISBN: 9786610753857
Format: Electronic book text
$464.67

Provides a comprehensive overview of the challenges in signal, data and pattern analysis in speech recognition,...  Read More >>

Mathematical Logic In Asia - Proceedings Of The 9th Asian Logic Conference

Mathematical Logic In Asia - Proceedings Of The 9th...

Author: Sergei S Goncharov (Russian Academy Of Sci, Russia) ,  Hiroakira Ono (Japan Advanced Inst Of Sci & Tech, Japan)
ISBN: 9789812700452
Format: Hardback
$274.56

Devoted to the main areas of mathematical logic and applications to computer science, this volume features articles...  Read More >>

Logic for Dummies

Logic for Dummies

Author: Mark Zegarelli (?)
ISBN: 9786610722013
Format: Electronic book text
$105.55

Features real-world examples and worked-out proofs<p>Clarify your thinking and apply logic to everyday life<p>Looking...  Read More >>

We Will Show Them! Essays in Honour of Dov Gabbay. Volume 1

We Will Show Them! Essays in Honour of Dov Gabbay. Volume...

Author: S Artemov ,  H Barringer
ISBN: 9781904987253
Format: Hardback
$117.48

This book provides an invaluable overview of the reach of logic. It provides reference to some of hte most important,...  Read More >>

Cellular Automata: 7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006,   Proceedings

Cellular Automata: 7th International Conference on Cellular...

Author: Samira El Yacoubi ,  Bastien Chopard
ISBN: 9783540409298
Format: Paperback
$340.56

Constitutes the refereed proceedings of the 7th International Conference on Cellular Automata for Research and Industry,...  Read More >>

Mild Cognitive Impairment: International Perspectives

Mild Cognitive Impairment: International Perspectives...

Author: Holly A. Tuokko ,  David F. Hultsch
ISBN: 9781841694665
Format: Hardback
$145.00

This volume provides a comprehensive resource for clinicians, researchers, and students involved in the study, diagnosis,...  Read More >>

Parameterized and Exact Computation: Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings

Parameterized and Exact Computation: Second International...

Author: Hans L. Bodlaender ,  Michael A. Langston
ISBN: 9783540390985
Format: Paperback
$166.32

Covers the refereed proceedings of the Second International Workshop on Parameterized and Exact Computation, IWPEC...  Read More >>

Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List