Mathematical logic books

5407 books were found.

Nature's Harmonic Unity: A Treatise on Its Relation to Proportional Form

Nature's Harmonic Unity: A Treatise on Its Relation...
Author: Samuel Colman ISBN: 9781340110512 Format: Hardback	$54.21
This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization... Read More >>

Refinement in Z and Object-Z: Foundations and Advanced Applications

Refinement in Z and Object-Z: Foundations and Advanced...
Author: John Derrick , Eerke A. Boiten ISBN: 9781447161677 Format: Paperback	$290.37
Read More >>

The Mathematics of Paul Erdős II

The Mathematics of Paul Erdős II
Author: Ronald L. Graham , Jaroslav Nešetřil ISBN: 9781489990075 Format: Paperback	$580.77
Here is a comprehensive overview of the mathematical life of Paul Erdős (1913-1996), a versatile and prolific mathematician.... Read More >>

Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I

Mathematical Foundations of Computer Science 2015: 40th...
Author: Giuseppe F Italiano , Giovanni Pighizzini ISBN: 9783662480564 Format: Paperback	$145.17
Read More >>

Non-commutative Multiple-Valued Logic Algebras

Non-commutative Multiple-Valued Logic Algebras
Author: Lavinia Corina Ciungu ISBN: 9783319032993 Format: Paperback	$116.41
This monograph provides a self-contained introduction to non-commutative multiple-valued logic algebras. It includes... Read More >>

Conditional Reasoning: "The Unruly Syntactics, Semantics, Thematics, and Pragmatics of ""If"""

Conditional Reasoning: "The Unruly Syntactics, Semantics,...
Author: Raymond Nickerson (Professor of Psychology, Professor of Psychology, Tufts University, Medford, MA) ISBN: 9780190202996 Format: Hardback	$306.00
Read More >>

Pick A Not: Look and Find Games (Odd Ones Out)

Pick A Not: Look and Find Games (Odd Ones Out)
Author: Baby Professor ISBN: 9781682128640 Format: Paperback	$28.44
Look and find games are perfect tools to hone memory and focus. You'll need to look closely and compartmentalize... Read More >>

12 × 12 Schlüsselkonzepte zur Mathematik

12 × 12 Schlüsselkonzepte zur Mathematik
Author: Oliver Deiser , Caroline Lasser ISBN: 9783662470763 Format: Paperback	$100.29
Read More >>

O-Minimality and Diophantine Geometry

O-Minimality and Diophantine Geometry
Author: G. O. Jones (University of Manchester) , A. J. Wilkie (University of Manchester) ISBN: 9781107462496 Format: Paperback	$150.05
This collection of articles brings the researcher up to date with recent applications of logic, specifically model... Read More >>

The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning

The Mathematical Analysis of Logic: Being an Essay Towards...
Author: George Boole , Moriz Von Kuffner ISBN: 9781297794407 Format: Hardback	$57.95
In The Mathematical Analysis of Logic, mathematician George Boole persuasively argues that logic should be aligned... Read More >>

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics

Logics in Computer Science: A Study on Extensions of...
Author: Fabio Mogavero ISBN: 9789462390560 Format: Paperback	$197.94
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification... Read More >>

Tractatus Logico-Philosophicus

Tractatus Logico-Philosophicus
Author: Ludwig Wittgenstein (Philosopher) ISBN: 9781296492878 Format: Hardback	$43.86
Reprints not only the original translation from German, but also Bertrand Russell's introduction and the index,... Read More >>

Mild Cognitive Impairment: International Perspectives

Mild Cognitive Impairment: International Perspectives...
Author: Holly A. Tuokko , David F. Hultsch ISBN: 9781138006256 Format: Paperback	$71.99
Read More >>

Computational Complexity of Solving Equation Systems

Computational Complexity of Solving Equation Systems...
Author: Przemysław Broniek ISBN: 9783319217499 Format: Paperback	$145.17
Since unary algebras admit only type 1, this book focuses on these... Read More >>

The Argument of Mathematics

The Argument of Mathematics
Author: Andrew Aberdein , Ian J Dove ISBN: 9789401781947 Format: Paperback	$290.37
The philosophy of mathematical practice diverges from mainstream philosophy of mathematics in the emphasis it places... Read More >>

Peek-a-Book: Look and Find Games for Teens

Peek-a-Book: Look and Find Games for Teens
Author: Baby Professor ISBN: 9781682127797 Format: Paperback	$28.44
This book is loaded with look and find games that will definitely capture any teenager's attention. Playing look... Read More >>

Recursion Theory: Computational Aspects of Definability

Recursion Theory: Computational Aspects of Definability...
Author: Chi Tat Chong , Liang Yu ISBN: 9783110275551 Format: Hardback	$248.73
Read More >>

Deductive Logic

Deductive Logic
Author: St George William Joseph Stock ISBN: 9781517089955 Format: Paperback	$21.09
Deductive Logic St. George William Joseph Stock Read More >>

Implementation and Application of Automata: 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings

Implementation and Application of Automata: 20th International...
Author: Frank Drewes ISBN: 9783319223599 Format: Paperback	$116.41
This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application... Read More >>

The Language of The Mathematical Proof: The Logical Reasoning of Mathematics

The Language of The Mathematical Proof: The Logical...
Author: Paul F Kisak ISBN: 9781517078911 Format: Paperback	$68.51
In South Africa, over 70,000 years ago, someone scratched geometric patterns into rocks. It took another 40,000... Read More >>

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Computer Aided Verification: 27th International Conference,...
Author: Daniel Kroening , Corina S. Păsăreanu ISBN: 9783319216898 Format: Paperback	$116.41
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference... Read More >>

Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

Automated Deduction in Geometry: 10th International...
Author: Francisco Botana , Pedro Quaresma ISBN: 9783319213613 Format: Paperback	$90.54
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated... Read More >>

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Computer Aided Verification: 27th International Conference,...
Author: Daniel Kroening , Corina S. Păsăreanu ISBN: 9783319216676 Format: Paperback	$116.41
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference... Read More >>

One Hundred Prisoners and a Light Bulb

One Hundred Prisoners and a Light Bulb
Author: Hans van Ditmarsch , Barteld Kooi ISBN: 9783319166933 Format: Paperback	$52.77
Read More >>

Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice

Linking Game-Theoretical Approaches with Constructive...
Author: Nicolas Clerbout , Shahid Rahman ISBN: 9783319190624 Format: Paperback	$145.17
This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof... Read More >>

Page 83 of 217 ... 78 79 80 81 82 83 84 85 86 87 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now