Mathematical logic books

5407 books were found.

Petri Net Synthesis

Petri Net Synthesis
Author: Eric Badouel , Luca Bernardinello ISBN: 9783662479667 Format: Hardback	$171.57
This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its... Read More >>

Gentzen's Centenary: The Quest for Consistency

Gentzen's Centenary: The Quest for Consistency
Author: Reinhard Kahle , Michael Rathjen ISBN: 9783319101026 Format: Paperback	$448.77
This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical... Read More >>

Symbolic Logic

Symbolic Logic
Author: John Venn (President of Gonville and Caius College, Cambridge) ISBN: 9781345878851 Format: Hardback	$61.97
This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization... Read More >>

Proof-theoretic Semantics

Proof-theoretic Semantics
Author: Dr Nissim Francez (Technion - Israel Institute of Technology, Haifa) ISBN: 9781848901834 Format: Paperback	$39.46
Read More >>

Toward Predicate Approaches to Modality

Toward Predicate Approaches to Modality
Author: Johannes Stern ISBN: 9783319225562 Format: Hardback	$263.97
Toward Predicate Approaches to Modality Read More >>

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium

Structural Analysis of Non-Classical Logics: The Proceedings...
Author: Syraya Chin-Mu Yang , Duen-Min Deng ISBN: 9783662483565 Format: Hardback	$290.37
Read More >>

(Texas Customers Only) MyLab Math for Quantitative Reasoning -- Student Access Kit

(Texas Customers Only) MyLab Math for Quantitative Reasoning...
Author: Dana Center ISBN: 9780134391366 Format: Undefined	$211.17
Read More >>

Massive Neutrinos: Flavor Mixing Of Leptons And Neutrino Oscillations

Massive Neutrinos: Flavor Mixing Of Leptons And Neutrino...
Author: Harald Fritzsch (Ludwig Maximilian Univ Of Munich, Germany) ISBN: 9789814704762 Format: Hardback	$258.75
Since the discovery of neutrino oscillations neutrino physics has become an interesting field of research in physics.... Read More >>

A First Course in Mathematical Logic and Set Theory

A First Course in Mathematical Logic and Set Theory...
Author: Michael L. O'Leary (College of DuPage) ISBN: 9780470905883 Format: Hardback	$210.95
Read More >>

Proofs and Refutations: The Logic of Mathematical Discovery

Proofs and Refutations: The Logic of Mathematical Discovery...
Author: Imre Lakatos , John Worrall ISBN: 9781107113466 Format: Hardback	$175.95
Read More >>

Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications

Logic, Mathematics, and Computer Science: Modern Foundations...
Author: Yves Nievergelt ISBN: 9781493937134 Format: Paperback	$145.17
Read More >>

Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications

Logic, Mathematics, and Computer Science: Modern Foundations...
Author: Yves Nievergelt ISBN: 9781493932221 Format: Hardback	$184.77
Read More >>

Perspectives on Interrogative Models of Inquiry: Developments in Inquiry and Questions

Perspectives on Interrogative Models of Inquiry: Developments...
Author: Can Başkent ISBN: 9783319207612 Format: Hardback	$145.17
This book explores the two major elements of Hintikka’s model of inquiry: underlying game theoretical motivations... Read More >>

An Introduction to Writing Mathematical Proofs: Shifting Gears from Calculus to Upper-Level Mathematics Classes

An Introduction to Writing Mathematical Proofs: Shifting...
Author: Thomas Bieske ISBN: 9781519210159 Format: Paperback	$211.20
This textbook is designed to help students transition from calculus-type courses that focus on computation to upper-level... Read More >>

From Computing to Computational Thinking

From Computing to Computational Thinking
Author: Paul S. Wang (Kent State University, OH, USA) ISBN: 9781482217650 Format: Paperback	$141.00
Read More >>

Proofs and Refutations: The Logic of Mathematical Discovery

Proofs and Refutations: The Logic of Mathematical Discovery...
Author: Imre Lakatos , John Worrall ISBN: 9781107534056 Format: Paperback	$51.72
Imre Lakatos's influential and enduring work on the nature of mathematic discovery and development continues to... Read More >>

The Design of Requirements Modelling Languages: How to Make Formalisms for Problem Solving in Requirements Engineering

The Design of Requirements Modelling Languages: How...
Author: Ivan Jureta ISBN: 9783319188201 Format: Hardback	$145.17
This book explains in detail how to define requirements modelling languages – formal languages used to solve requirement-related... Read More >>

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: 9781519106629 Format: Paperback	$34.19
Read More >>

An Investigation of the Laws of Thought: On Which Are Founded the Mathematical Theories of Logic and Probability

An Investigation of the Laws of Thought: On Which Are...
Author: George Boole ISBN: 9781519110695 Format: Paperback	$39.57
Read More >>

Systems of Formal Logic

Systems of Formal Logic
Author: Edited by Paul F Kisak ISBN: 9781519103178 Format: Paperback	$65.87
A formal system is broadly defined as any well-defined system of abstract thought based on the model of mathematics.... Read More >>

Conceptual Clarifications. Tributes to Patrick Suppes (1922-2014)

Conceptual Clarifications. Tributes to Patrick Suppes...
Author: Jean-Yves Beziau , Associate Professor Decio Krause ISBN: 9781848901889 Format: Paperback	$55.44
This is a volume containing papers honoring Patrick Suppes (1922-2014). All contributors have worked directly with... Read More >>

Spot the Difference: 1st Grade Activity Book Series

Spot the Difference: 1st Grade Activity Book Series...
Author: Baby Professor ISBN: 9781682609668 Format: Paperback	$28.44
The ability to spot the difference is actually an acquired skill. It can be taught and it can be mastered through... Read More >>

The Mathematical Proof: "" The Method and Logic ""

The Mathematical Proof: "" The Method and Logic ""
Author: Paul F Kisak ISBN: 9781518863981 Format: Paperback	$60.59
In mathematics, a proof is a deductive argument for a mathematical statement. In the argument, other previously... Read More >>

How to Solve It: A New Aspect of Mathematical Method

How to Solve It: A New Aspect of Mathematical Method...
Author: John H. Conway , G. Polya ISBN: 9780691119663 Format: Paperback	$52.67
Reveals how the mathematical method of demonstrating a proof or finding an unknown can be of help in attacking any... Read More >>

Descent in Buildings (AM-190)

Descent in Buildings (AM-190)
Author: Bernhard Muhlherr , Holger P. Petersson ISBN: 9780691166919 Format: Paperback	$135.00
Descent in Buildings begins with the resolution of a major open question about the local structure of Bruhat-Tits... Read More >>

Page 81 of 217 ... 76 77 78 79 80 81 82 83 84 85 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now