Mathematical logic books

5407 books were found.

Dictionary of Argumentation: A Introduction to Argumentation Studies

Dictionary of Argumentation: A Introduction to Argumentation...
Author: Christian Plantin , J Anthony Blair ISBN: 9781848902718 Format: Paperback	$47.87
Read More >>

Completeness Theory for Propositional Logics

Completeness Theory for Propositional Logics
Author: Michael Trombly ISBN: 9781987630220 Format: Paperback	$118.19
This approach allows also for a more profound view upon some essential properties of propositional systems. For... Read More >>

Simple Relation Algebras

Simple Relation Algebras
Author: Steven Givant , Hajnal Andréka ISBN: 9783319676951 Format: Hardback	$369.57
This monograph details several different methods for constructing simple relation algebras, many of which are new... Read More >>

Cool japanese puzzles (Volume 5)

Cool japanese puzzles (Volume 5)
Author: Vadim Teriokhin ISBN: 9781985758902 Format: Paperback	$23.62
Read More >>

Raymond Smullyan on Self Reference

Raymond Smullyan on Self Reference
Author: Melvin Fitting , Brian Rayman ISBN: 9783319687315 Format: Hardback	$316.77
This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan’s work on... Read More >>

New Essays on Frege: Between Science and Literature

New Essays on Frege: Between Science and Literature...
Author: Gisela Bengtsson , Simo Säätelä ISBN: 9783319711850 Format: Hardback	$290.37
This volume collects nine essays that investigate the work of Gottlob Frege. The contributors address Frege’s work... Read More >>

Ifcolog Journal of Logics and their Applications Volume 4, number 10. New Trends in Logic

Ifcolog Journal of Logics and their Applications Volume...
Author: Matthias Baaz ISBN: 9781848902688 Format: Paperback	$38.81
Read More >>

Combinatorial Set Theory: With a Gentle Introduction to Forcing

Combinatorial Set Theory: With a Gentle Introduction...
Author: Lorenz J. Halbeisen ISBN: 9783319602301 Format: Hardback	$475.17
Read More >>

Smarty Buddy Math Analogies

Smarty Buddy Math Analogies
Author: Smarty Buddy LLC ISBN: 9781985158306 Format: Paperback	$26.37
Read More >>

Reverse Mathematics: Proofs from the Inside Out

Reverse Mathematics: Proofs from the Inside Out
Author: John Stillwell ISBN: 9780691177175 Format: Hardback	$44.99
This book presents reverse mathematics to a general mathematical audience for the first time. Reverse mathematics... Read More >>

Descriptor Revision: Belief Change through Direct Choice

Descriptor Revision: Belief Change through Direct Choice...
Author: Sven Ove Hansson ISBN: 9783319530604 Format: Hardback	$145.17
Read More >>

Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 23rd...
Author: Phillip James , Markus Roggenbach ISBN: 9783319720432 Format: Paperback	$145.17
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International... Read More >>

Präzises Denken für Informatiker

Präzises Denken für Informatiker
Author: Karsten Wolf ISBN: 9783662549728 Format: Paperback	$92.37
Read More >>

Symbolic Logic

Symbolic Logic
Author: John Venn ISBN: 9781983869570 Format: Paperback	$47.49
Intending to take his readers very much into his confidence: as he builds the theory, the author points out the... Read More >>

Proceedings of the International Conference Philosophy, Mathematics, Linguistics: Aspects of Interaction, 2012 (PhML-2012): Euler International Mathematical Institute St Petersburg, May 22-25, 2012

Proceedings of the International Conference Philosophy,...
Author: Oleg Prosorov ISBN: 9781848902565 Format: Paperback	$36.22
Read More >>

Ifcolog Journal of Logics and their Applications Volume 4, number 9. Logic for Normative Multi-Agent Systems

Ifcolog Journal of Logics and their Applications Volume...
Author: Gabriella Pigozzi , Leendert van der Torre ISBN: 9781848902657 Format: Paperback	$34.93
Read More >>

Filosofia Lógica e Matemática: Conferências no Brasil

Filosofia Lógica e Matemática: Conferências no Brasil...
Author: Professor of Philosophy Paolo Mancosu (Department of Philosophy Uc Berkeley) ISBN: 9781848902633 Format: Paperback	$33.64
Read More >>

Kolmogorov Complexity and Algorithmic Randomness

Kolmogorov Complexity and Algorithmic Randomness
Author: A. Shen , V.A. Uspensky ISBN: 9781470431822 Format: Hardback	$192.50
Offers a textbook-style exposition of the basic notions of complexity and randomness; and covers some recent work... Read More >>

The Logical Legacy of Nikolai Vasiliev and Modern Logic

The Logical Legacy of Nikolai Vasiliev and Modern Logic...
Author: Vladimir Markin , Dmitry Zaitsev ISBN: 9783319661605 Format: Hardback	$290.37
This volume offers a wide range of both reconstructions of Nikolai Vasiliev’s original logical ideas and their implementations... Read More >>

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016

Philosophical Logic: Current Trends in Asia: Proceedings...
Author: Syraya Chin-Mu Yang , Kok Yong Lee ISBN: 9789811063541 Format: Hardback	$448.77
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly... Read More >>

Mini-Breaker, Band 5: Implikationen erkennen: 15 Implikationen-Testsimulationen (150 Aufgaben) + grafische Darstellung der Modi fur den Medizin-Aufnahmetest (MedAT)

Mini-Breaker, Band 5: Implikationen erkennen: 15 Implikationen-Testsimulationen...
Author: Medizin Aufnahmetest Team , Medat Vorbereitung ISBN: 9781981860241 Format: Paperback	$52.54
Achtung: Die Neuauflage ist bereits via Amazon unter einem neuen Link verfugbar!!!: ) Hallo liebe Leserinnen und... Read More >>

Logica e Estrutura

Logica e Estrutura
Author: Dirk Van Dalen , Ruy Jgb de Queiroz ISBN: 9781848902626 Format: Paperback	$34.28
Read More >>

Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System

Computer Arithmetic and Formal Proofs: Verifying Floating-point...
Author: Sylvie Boldo (INRIA, France) , Guillaume Melquiond (INRIA, France) ISBN: 9781785481123 Format: Hardback	$346.73
Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers.... Read More >>

Von Schildkröten, Lügnern und sich selbst rasierenden Friseuren: Klassische Paradoxa im Licht der modernen Mathematik

Von Schildkröten, Lügnern und sich selbst rasierenden...
Author: Manfred Koch ISBN: 9783746011400 Format: Paperback	$105.34
Können Sie sich vorstellen, dass in einem Wettrennen ein Läufer nicht eine Schildkröte einholen kann? Genau das... Read More >>

Computer Security Literacy: Staying Safe in a Digital World

Computer Security Literacy: Staying Safe in a Digital...
Author: Douglas Jacobson , Joseph Idziorek ISBN: 9781138436879 Format: Hardback	$378.00
This is a classic book on Queues. First published in 1961 it clearly and concisely introduces the theory of queueing... Read More >>

Page 67 of 217 ... 62 63 64 65 66 67 68 69 70 71 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now