Mathematical logic books

5407 books were found.

Philosophy and Model Theory

Philosophy and Model Theory
Author: Tim Button (Senior Lecturer and Fellow, Senior Lecturer and Fellow, St John's College, Cambridge) , Sean Walsh (Associate Professor, Department of Philosophy, Associate Professor, Department of Philosophy, University of California, Los Angeles) ISBN: 9780198790402 Format: Paperback	$91.95
Read More >>

The Homotopy Theory of (∞,1)-Categories

The Homotopy Theory of (∞,1)-Categories
Author: Julia E. Bergner (University of Virginia) ISBN: 9781107101364 Format: Hardback	$284.63
Read More >>

Philosophy and Model Theory

Philosophy and Model Theory
Author: Tim Button (Senior Lecturer and Fellow, Senior Lecturer and Fellow, St John's College, Cambridge) , Sean Walsh (Associate Professor, Department of Philosophy, Associate Professor, Department of Philosophy, University of California, Los Angeles) ISBN: 9780198790396 Format: Hardback	$305.95
Read More >>

Una introducción a la teoría lógica de la Edad Media

Una introducción a la teoría lógica de la Edad Media...
Author: Manuel a Dahlquist ISBN: 9781848902572 Format: Paperback	$34.93
Read More >>

Artificial Adaptive Systems Using Auto Contractive Maps: Theory, Applications and Extensions

Artificial Adaptive Systems Using Auto Contractive Maps:...
Author: Paolo Massimo Buscema , Giulia Massini ISBN: 9783319750484 Format: Hardback	$290.37
It subsequently describes artificial neural networks as a subclass of artificial adaptive systems, and reports on... Read More >>

Handbook of Elliptic and Hyperelliptic Curve Cryptography, Second Edition

Handbook of Elliptic and Hyperelliptic Curve Cryptography,...
Author: Henri Cohen (Universite Bordeaux I, France) , Gerhard Frey (Universitat Duisburg-Essen, Germany) ISBN: 9781439840009 Format: Hardback	$290.27
This handbook provides a complete reference on elliptic and hyperelliptic curve cryptography. Addressing every aspect... Read More >>

Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics

Intuitionistic Proof Versus Classical Truth: The Role...
Author: Enrico Martino ISBN: 9783319743561 Format: Hardback	$290.37
This book examines the role of acts of choice in classical and intuitionistic mathematics. Read More >>

Understanding Proof: Explanation, Examples and Solutions for A-Level Mathematics and A-Level Further Mathematics

Understanding Proof: Explanation, Examples and Solutions...
Author: Tom Bennison , Ed Hall ISBN: 9781911093787 Format: Paperback	$69.84
Proof is central to the new unified A-Level curriculum and to Further Maths and indeed, all mathematical thinking.... Read More >>

Gottlob Frege: Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens

Gottlob Frege: Begriffsschrift, eine der arithmetischen...
Author: Matthias Wille ISBN: 9783662450109 Format: Hardback	$211.17
Read More >>

Handbook of Formal Argumentation

Handbook of Formal Argumentation
Author: Pietro Baroni , Dov Gabbay ISBN: 9781848902756 Format: Paperback	$62.75
Read More >>

An Introduction to the Technique of Formative Processes in Set Theory

An Introduction to the Technique of Formative Processes...
Author: Domenico Cantone , Pietro Ursino ISBN: 9783319747774 Format: Hardback	$145.17
This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications.... Read More >>

Measuring Inconsistency in Information

Measuring Inconsistency in Information
Author: John Grant (University of Toronto Canada) , Maria Vanina Martinez ISBN: 9781848902442 Format: Paperback	$39.46
Read More >>

Journal of Applied Logics - IfCoLog Journal: Volume 5, number 1, February 2018

Journal of Applied Logics - IfCoLog Journal: Volume...
Author: Ifcolog ISBN: 9781848902749 Format: Paperback	$38.81
Read More >>

Jaakko Hintikka on Knowledge and Game-Theoretical Semantics

Jaakko Hintikka on Knowledge and Game-Theoretical Semantics...
Author: Hans van Ditmarsch , Gabriel Sandu ISBN: 9783319628639 Format: Hardback	$475.17
Semantic Representationalism, Logical Dialogues, Knowledge and Epistemic logic are among some of the topics covered... Read More >>

The Hyperuniverse Project and Maximality

The Hyperuniverse Project and Maximality
Author: Carolin Antos , Sy-David Friedman ISBN: 9783319629346 Format: Hardback	$155.95
This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based... Read More >>

Fundamentals of Functions and Measure Theory

Fundamentals of Functions and Measure Theory
Author: Valeriy K. Zakharov , Timofey V. Rodionov ISBN: 9783110550092 Format: Hardback	$248.73
This comprehensive two-volume work is devoted to the most general foundations of mathematics. It goes back to Hausdorff's... Read More >>

Fundamentals of Set and Number Theory

Fundamentals of Set and Number Theory
Author: Valeriy K. Zakharov , Timofey V. Rodionov ISBN: 9783110550085 Format: Hardback	$248.73
This comprehensive two-volume work is devoted to the most general foundations of mathematics. It goes back to Hausdorff's... Read More >>

Ifcolog Journal of Logics and their Applications Volume 4, number 11. Dedicated to the Memory of Dale Jacquette

Ifcolog Journal of Logics and their Applications Volume...
Author: John Woods ISBN: 9781848902466 Format: Paperback	$32.34
Read More >>

Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic

Fathoming Formal Logic: Vol 1: Theory and Decision Procedures...
Author: Odysseus Makridis ISBN: 9781848902664 Format: Paperback	$53.04
Read More >>

Meaning and Intentionality. A Dialogical Approach

Meaning and Intentionality. A Dialogical Approach
Author: Mohammad Shafiei ISBN: 9781848902596 Format: Paperback	$37.52
Read More >>

Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic

Fathoming Formal Logic: Vol II: Semantics and Proof...
Author: Odysseus Makridis ISBN: 9781848902671 Format: Paperback	$40.75
Read More >>

Logic, Inductive and Deductive: Special Edition

Logic, Inductive and Deductive: Special Edition
Author: William Minto ISBN: 9781986060110 Format: Paperback	$23.73
In this little treatise two things are attempted that at first might appear incompatible. One of them is to put... Read More >>

Theories, Sites, Toposes: Relating and Studying Mathematical Theories Through Topos-Theoretic 'bridges'

Theories, Sites, Toposes: Relating and Studying Mathematical...
Author: Research Mathematician Olivia Caramello (Universite de Paris VII) ISBN: 9780191818752 Format: Undefined	$258.72
"According to Grothendieck, the notion of topos is ""the bed or deep river where come to be married geometry and... Read More >>

Logic, Inductive and Deductive

Logic, Inductive and Deductive
Author: William Minto ISBN: 9789386874214 Format: Paperback	$39.47
This book has been deemed as a classic and has stood the test of time. The book has been considered by academicians... 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 ISBN: 9781376964028 Format: Paperback	$38.68
This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization... Read More >>

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

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now