Mathematical logic books

5407 books were found.

Proof in Mathematics Education: Research, Learning and Teaching

Proof in Mathematics Education: Research, Learning and...
Author: David A. Reid , Christine Knipping ISBN: 9789460912443 Format: Paperback	$129.36
Read More >>

Proof in Mathematics Education: Research, Learning and Teaching

Proof in Mathematics Education: Research, Learning and...
Author: David A. Reid , Christine Knipping ISBN: 9789460912450 Format: Hardback	$261.36
Research on teaching and learning proof and proving has expanded in recent decades. This reflects the growth of... Read More >>

A Concise Introduction to Mathematical Logic

A Concise Introduction to Mathematical Logic
Author: Wolfgang Rautenberg ISBN: 9781441912206 Format: Paperback	$184.67
Mathematical logic developed into a broad discipline with many applications in mathematics, informatics, linguistics... Read More >>

Logic and Philosophy of Mathematics in the Early Husserl

Logic and Philosophy of Mathematics in the Early Husserl...
Author: Stefania Centrone ISBN: 9789048132454 Format: Hardback	$366.96
Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work,... Read More >>

Zariski Geometries: Geometry from the Logician's Point of View

Zariski Geometries: Geometry from the Logician's Point...
Author: Boris Zilber ISBN: 9786613295705 Format: Electronic book text	$348.48
Methods and results from the theory of Zariski structures, and their applications in geometry. Read More >>

Logical Tools for Handling Change in Agent-Based Systems

Logical Tools for Handling Change in Agent-Based Systems...
Author: Dov M. Gabbay , Karl Schlechta ISBN: 9783642044069 Format: Hardback	$261.36
These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors... Read More >>

Mathematical Logic: Foundations for Information Science

Mathematical Logic: Foundations for Information Science...
Author: Wei Li ISBN: 9783764399764 Format: Hardback	$136.95
This book presents the basic principles and formal calculus of mathematical logic. It covers core contents, extensions... Read More >>

Referential Opacity and Modal Logic

Referential Opacity and Modal Logic
Author: Dagfinn Follesdal , Dagfinn Follesdal ISBN: 9780415998444 Format: Paperback	$96.99
First Published in 2004. Routledge is an imprint of Taylor & Francis, an informa company. Read More >>

Symbolic Logic

Symbolic Logic
Author: John Venn ISBN: 9781142041403 Format: Paperback	$102.30
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: 9781142222239 Format: Paperback	$97.02
This is a reproduction of a book published before 1923. This book may have occasional imperfections such as missing... Read More >>

Proceedings Of The 10th Asian Logic Conference

Proceedings Of The 10th Asian Logic Conference
Author: Chi Tat Chong (Nus, S'pore) , Rodney G Downey (Victoria Univ Of Wellington, New Zealand) ISBN: 9789814293013 Format: Hardback	$364.32
The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This... Read More >>

Operator Metaphysics: A New Metaphysics Based on a New Operator Logic and a New Quantum Operator Logic That Lead to a Mathematical Basis for Plato's Theory of Ideas and Reality

Operator Metaphysics: A New Metaphysics Based on a New...
Author: Stephen Blaha ISBN: 9780981904962 Format: Hardback	$44.75
"This book examines the true core of philosophy and metaphysics, taking account of quantum and relativity theory... Read More >>

Formal Correctness of Security Protocols

Formal Correctness of Security Protocols
Author: Giampaolo Bella ISBN: 9781280864322 Format: Undefined	$237.47
Investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. This title examines... Read More >>

Dependence Logic: A New Approach to Independence Friendly Logic. London Mathematical Society Student Texts, Volume 70.

Dependence Logic: A New Approach to Independence Friendly...
Author: Jouko Vaananen (University of Amsterdam and University of Helsinki University of Helsinki University of Helsinki University of Helsinki) ISBN: 9781280910029 Format: Electronic book text	$929.28
Read More >>

Logic Programming and Nonmonotonic Reasoning: 9th International Conference, Lpnmr 2007 Tempe, AZ, USA, May 15-17, 2007 Proceedings

Logic Programming and Nonmonotonic Reasoning: 9th International...
Author: Chitta Baral (Arizona State University) , Gerhard Brewka ISBN: 9781280940729 Format: Undefined	$184.67
This book constitutes the refereed proceedings of the 8th International Conference on Logic Programming and Nonmonotonic... Read More >>

Computational Complexity: A Quantitative Perspective

Computational Complexity: A Quantitative Perspective...
Author: Marius Zimand ISBN: 9781281008916 Format: Electronic book text	$1161.60
There has been a common perception that computational complexity is a theory of 'bad news' because its typical results... Read More >>

Nonmeasurable Sets and Functions

Nonmeasurable Sets and Functions
Author: A B Kharazishvili , Alexander Kharazishvili ISBN: 9781281008886 Format: Electronic book text	$924.00
Read More >>

The Moment of Proof: Mathematical Epiphanies

The Moment of Proof: Mathematical Epiphanies
Author: Professor of Mathematics Donald C Benson (University of California, Davis (Emeritus) University of California, Davis University of California, Davis (Emeritus)) ISBN: 9781280834806 Format: Electronic book text	$71.15
When Archimedes, while bathing, suddenly hit upon the principle of buoyancy, he ran wildly through the streets of... Read More >>

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Mathematical Logic: A Course with Exercises Part I:...
Author: Rene Cori , D Lascar ISBN: 9781280819667 Format: Electronic book text	$252.60
Read More >>

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford Logic Guides.

Twenty-Five Years of Constructive Type Theory: Proceedings...
Author: Professor of Mathematical Logic Giovanni Sambin (University of Padua Universita di Padova Universita di Padova Universita di Padova University of Padua Universita di Padova University of Padua) , Jan Smith ISBN: 9781280819728 Format: Electronic book text	$653.90
Per Martin-Lof's work on the development of constructive type theory has been of huge significance in the fields... Read More >>

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

Nature's Harmonic Unity: A Treatise on Its Relation...
Author: Samuel Colman , Clarence Arthur Coan ISBN: 9781143205187 Format: Paperback	$86.46
Read More >>

Intelligent Systems and Control: Principles and Applications

Intelligent Systems and Control: Principles and Applications...
Author: Laxmidhar Behera (Associate Professor, Department of Electrical Engineering, Associate Professor, Department of Electrical Engineering, Indian Institute of Technology, Kanpur) , Indrani Kar (Senior Project Engineer) ISBN: 9780198063155 Format: Paperback	$92.40
Intelligent Systems and Control: Principles and Applications is a textbook for undergraduate level courses on intelligent... Read More >>

Proceedings of the International Workshop on Combinatorial Algorithms 2008

Proceedings of the International Workshop on Combinatorial...
Author: Mirka Miller , Wada Koichi ISBN: 9781904987741 Format: Paperback	$40.11
Read More >>

Ways of Proof Theory

Ways of Proof Theory
Author: Ralf Schindler ISBN: 9781299723764 Format: Electronic book text	$517.44
On the occasion of the retirement of Wolfram Pohlers the Institut fur Mathematische Logik und Grundlagenforschung... Read More >>

Relational Mathematics

Relational Mathematics
Author: Gunther Schmidt (Universitat der Bundeswehr Munchen) ISBN: 9781299707252 Format: Undefined	$330.00
Relational mathematics is to operations research and informatics what numerical mathematics is to engineering: it... Read More >>

Page 141 of 217 ... 136 137 138 139 140 141 142 143 144 145 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now