Mathematical logic books

5407 books were found.

Computational Logic and Set Theory

Computational Logic and Set Theory
Author: Jacob Schwartz , Eugenio Omodeo ISBN: 9780387407623 Format: Hardback	$184.67
Surveying computational logic and set theory and its application to proof verification techniques, this book presents... Read More >>

Computer System Security: Basic Concepts and Solved Exercises

Computer System Security: Basic Concepts and Solved...
Author: Gildas Avoine (Catholic University of Louvain, Belgium) , Philippe Oechslin (EPFL, Lausanne, Switzerland) ISBN: 9781420046205 Format: Hardback	$195.23
Read More >>

Reelle Zahlen: Das Klassische Kontinuum Und Die Naturlichen Folgen

Reelle Zahlen: Das Klassische Kontinuum Und Die Naturlichen...
Author: Oliver Deiser ISBN: 9783540453871 Format: Paperback	$131.87
Der Autor untersucht die reellen Zahlen unter verschiedenen grundlagentheoretischen Gesichtspunkten und macht die... Read More >>

Passione per Trilli: Alcune idee dalla matematica

Passione per Trilli: Alcune idee dalla matematica
Author: Roberto Lucchetti , Roberto Lucchetti ISBN: 9788847006287 Format: Paperback	$52.67
Read More >>

How to Sell a Contradiction: The Logic and Metaphysics of Inconsistency

How to Sell a Contradiction: The Logic and Metaphysics...
Author: F, Berto ISBN: 9781904987437 Format: Paperback	$51.75
"""There is a principle in things, about which we cannot be deceived, but must always, on the contrary, recognize... Read More >>

Journey into Mathematics: An Introduction to Proofs

Journey into Mathematics: An Introduction to Proofs...
Author: Joseph J Rotman ISBN: 9780486453064 Format: Paperback	$32.99
Read More >>

Incompleteness in the Land of Sets

Incompleteness in the Land of Sets
Author: M. Fitting ISBN: 9781904987345 Format: Paperback	$40.75
Read More >>

The Pea and the Sun: A Mathematical Paradox

The Pea and the Sun: A Mathematical Paradox
Author: Leonard M. Wapner (El Camino College, Torrance, California, USA) ISBN: 9781568813271 Format: Paperback	$34.95
Written in an engaging style, The Pea and the Sun catalogues the people, events, and mathematics that contributed... 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: 9781430488941 Format: Paperback	$97.55
A timeless introduction to the field and a landmark in symbolic logic, showing that classical logic can be treated... Read More >>

Mesh Parameterization Methods and Their Applications

Mesh Parameterization Methods and Their Applications...
Author: Alla Sheffer , Emil Praun ISBN: 9781933019437 Format: Paperback	$145.20
Reviews the various parameterization methods, summarizing the main ideas of each technique and focusing on the practical... Read More >>

DNA Computing: 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers

DNA Computing: 12th International Meeting on DNA Computing,...
Author: Chengde Mao , Takashi Yokomori ISBN: 9783540490241 Format: Paperback	$221.76
Constitutes the refereed postproceedings of the 12th International Meeting on DNA Computing, DNA12, that was held... Read More >>

Data Analysis & Probability

Data Analysis & Probability
Author: Maureen Steddin ISBN: 9780825163067 Format: Paperback	$52.80
Read More >>

Reasoning Skills for Handling Conflict

Reasoning Skills for Handling Conflict
Author: David, W. Felder ISBN: 9781575017754 Format: Paperback	$52.67
This text is appropriate for a class in critical reasoning, logic, or peace studies for grades 11 through college.... Read More >>

Algebra, Logic, Set Theory: Festscrift Fur Ulrich Felgner Zum 65. Geburtstag

Algebra, Logic, Set Theory: Festscrift Fur Ulrich Felgner...
Author: Benedikt Loewe ISBN: 9781904987284 Format: Hardback	$64.69
Read More >>

The Law of Non-Contradiction: New Philosophical Essays

The Law of Non-Contradiction: New Philosophical Essays...
Author: Graham Priest (Departments of Philosophy, Universities of Melbourne and St Andrews) , JC Beall (Department of Philosophy, University of Connecticut) ISBN: 9780199204199 Format: Paperback	$115.95
Investigates the 'law', considering arguments for and against it and discussing methodological issues that arise... Read More >>

Theories Spectrales: Chapitres 1-2

Theories Spectrales: Chapitres 1-2
Author: N Bourbaki ISBN: 9783540353300 Format: Paperback	$287.76
Les Éléments de mathématique de Nicolas Bourbaki ont pour objet une présentation rigoureuse, systématique et sans... Read More >>

Logic For Dummies

Logic For Dummies
Author: Mark Zegarelli ISBN: 9780471799412 Format: Paperback	$41.95
Read More >>

Nonlinear Dimensionality Reduction

Nonlinear Dimensionality Reduction
Author: Department of Pathology John A Lee (University of Sheffield Medical School) , Michel Verleysen ISBN: 9781281108234 Format: Electronic book text	$393.36
This book reviews well-known methods for reducing the dimensionality of numerical databases as well as recent developments... Read More >>

Residuated Lattices: An Algebraic Glimpse at Substructural Logics: An Algebraic Glimpse at Substructural Logics

Residuated Lattices: An Algebraic Glimpse at Substructural...
Author: Nikolaos Galatos , Peter Jipsen ISBN: 9781281051066 Format: Undefined	$468.86
The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in... Read More >>

Computational Linguistics and Intelligent Text Processing: 8th International Conference, Cicling 2007 Mexico City, Mexico, February 18-24, 2007 Proceedings. Lecture Notes in Computer Science, Volume 4394.

Computational Linguistics and Intelligent Text Processing:...
Author: Alexander Gelbukh ISBN: 9781280865084 Format: Undefined	$272.87
This book constitutes the refereed proceedings of the 8th International Conference on Computational Linguistics... Read More >>

Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics

Labyrinth of Thought: A History of Set Theory and Its...
Author: Jose Ferreiros ISBN: 9781281811103 Format: Electronic book text	$261.36
Features a major innovation, a full-fledged treatment of the emergence of the set-theoretic approach in mathematics... Read More >>

Formal Concept Analysis: 5th International Conference, Icfca 2007, Clermont-Ferrand, France, February 12-16, 2007 Proceedings. Lecture Notes in Artificial Intelligence, Volume 4390.

Formal Concept Analysis: 5th International Conference,...
Author: Sergei O Kuznetsov , Stefan Schmidt ISBN: 9781280902178 Format: Undefined	$172.34
Read More >>

Logica Universalis: Towards a General Theory of Logic

Logica Universalis: Towards a General Theory of Logic...
Author: Jean-Yves Beziau ISBN: 9781280970023 Format: Electronic book text	$211.07
Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name... Read More >>

Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007 Paris, France, June 26-28, 2007 Proceedings

Typed Lambda Calculi and Applications: 8th International...
Author: Simona Ronchi Della Rocca ISBN: 9781280955525 Format: Undefined	$211.07
Read More >>

Brouwer Meets Husserl: On the Phenomenology of Choice Sequences

Brouwer Meets Husserl: On the Phenomenology of Choice...
Author: ISBN: 9781280656910 Format: Undefined	$551.76
Can the straight line be analysed mathematically such that it does not fall apart into a set of discrete points,... Read More >>

Page 162 of 217 ... 157 158 159 160 161 162 163 164 165 166 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now