Mathematical logic books

5407 books were found.

Felix Hausdorff - Gesammelte Werke Band 5: Astronomie, Optik Und Wahrscheinlichkeitstheorie

Felix Hausdorff - Gesammelte Werke Band 5: Astronomie,...
Author: Felix Hausdorff , Josef Bemelmans (RWTH, Aachen) ISBN: 9781280620621 Format: Undefined	$314.16
Band 5 umfasst die Themenbereiche Astronomie, Optik und Wahrscheinlichkeitstheorie. Er enthalt Hausdorffs Dissertation... Read More >>

Foundations and Trends: Average-Case Complexity

Foundations and Trends: Average-Case Complexity
Author: Andrej Bogdanov , Luca Trevisan ISBN: 9781282934788 Format: Electronic book text	$264.00
Read More >>

Finite Model Theory: Springer Monographs in Mathematics

Finite Model Theory: Springer Monographs in Mathematics...
Author: Heinz-Dieter Ebbinghaus , J Flum ISBN: 9781280413131 Format: Undefined	$366.96
The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability... Read More >>

Fuzzy Quantifiers: A Computational Theory

Fuzzy Quantifiers: A Computational Theory
Author: ISBN: 9781280625725 Format: Undefined	$446.16
Read More >>

Sequential Logic

Sequential Logic
Author: Joseph Cavanagh (Santa Clara University, California, USA) ISBN: 9781322621043 Format: Electronic book text	$422.27
Until now, there was no single resource for actual digital system design. Using both basic and advanced concepts,... Read More >>

Structural Theory of Automata, Semigroups, and Universal Algebra: Proceedings of the NATO Advanced Study Institute on Structural Theory of Automata, Semigroups and Universal Algebra, Montreal, Quebec, Canada, 7-18 July 2003

Structural Theory of Automata, Semigroups, and Universal...
Author: Valery B. Kudryavtsev , M. Goldstein ISBN: 9781402038167 Format: Paperback	$237.47
Several of the contributions to this volume bring forward many mutually beneficial interactions and connections... Read More >>

The Congruences of a Finite Lattice: A 'Proof-by-Picture' Approach

The Congruences of a Finite Lattice: A 'Proof-by-Picture'...
Author: George A. Gratzer ISBN: 9780817632243 Format: Hardback	$171.47
Written by one of the leading experts in lattice theory, this book presents the major results on congruence lattices... Read More >>

Fuzzy Logic Applications in Engineering Science

Fuzzy Logic Applications in Engineering Science
Author: J. Harris ISBN: 9781402040771 Format: Hardback	$419.76
Fuzzy logic has been a conceptual process applied in the field of risk management. This book is intended for professional... Read More >>

The Elements of Mathematical Logic

The Elements of Mathematical Logic
Author: Paul C Rosenbloom ISBN: 9780486446172 Format: Paperback	$34.19
An excellent introduction to mathematical logic, this book provides readers with a sound knowledge of the most important... Read More >>

From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics

From Sets and Types to Topology and Analysis: Towards...
Author: Laura Crosilla (Universite di Firenze) , Peter Schuster (Mathematical Institut, Universitaet Munich) ISBN: 9780198566519 Format: Hardback	$391.00
This edited collection bridges the foundations and practice of constructive mathematics. Aimed at academic logicians,... Read More >>

Logic Functions and Equations: Binary Models for Computer Science

Logic Functions and Equations: Binary Models for Computer...
Author: Christian Posthoff , Bernd Steinbach ISBN: 9781402029370 Format: Hardback	$710.16
Logic functions and equations are (some of) the most important concepts of Computer Science with many applications... Read More >>

We Will Show Them! Essays in Honour of Dov Gabbay. Volume 1

We Will Show Them! Essays in Honour of Dov Gabbay. Volume...
Author: S Artemov , H Barringer ISBN: 9781904987116 Format: Paperback	$51.72
Read More >>

We Will Show Them: Essays in Honour of Dov Gabbay. Volume 2

We Will Show Them: Essays in Honour of Dov Gabbay. Volume...
Author: S Artemov , H Barringer ISBN: 9781904987123 Format: Paperback	$51.72
Read More >>

Logische Untersuchungen. Ergänzungsband. Zweiter Teil.: Texte für die Neufassung der VI. Untersuchung. Zur Phänomenologie des Ausdrucks und der Erkenntnis (1893/94-1921)

Logische Untersuchungen. Ergänzungsband. Zweiter Teil.:...
Author: Edmund Husserl , Ullrich Melle ISBN: 9781402035739 Format: Hardback	$1370.16
Der vorliegende Band enthält zum einen die im Zuge dieser Arbeit entstandenen Manuskripte und zum anderen ältere... Read More >>

Godel's Proof

Godel's Proof
Author: Ernest Nagel , James R. Newman ISBN: 9780415355285 Format: Paperback	$32.95
A combination of science and accessibility, this book is for both mathematicians and the idly curious, offering... Read More >>

Fundamentals of Mathematical Logic

Fundamentals of Mathematical Logic
Author: Peter G. Hinman ISBN: 9781568812625 Format: Hardback	$221.00
Read More >>

Propositional and Predicate Calculus: A Model of Argument

Propositional and Predicate Calculus: A Model of Argument...
Author: Derek Goldrei ISBN: 9781852339210 Format: Paperback	$142.29
Read More >>

Reverse Mathematics 2001: Lecture Notes in Logic 21

Reverse Mathematics 2001: Lecture Notes in Logic 21...
Author: Stephen G. Ross (University of Illinois, Urbana, USA) ISBN: 9781568812649 Format: Paperback	$105.60
A program of research in the foundations of mathematics, motivated by the foundational questions of what are appropriate... Read More >>

Intensionality: Lecture Notes in Logic 22

Intensionality: Lecture Notes in Logic 22
Author: Reinhard Kahle (University of Illinois, Urbana, USA) ISBN: 9781568812687 Format: Paperback	$96.99
Read More >>

Reverse Mathematics 2001: Lecture Notes in Logic 21

Reverse Mathematics 2001: Lecture Notes in Logic 21...
Author: Stephen G. Ross (University of Illinois, Urbana, USA) , Stephen G. Simpson ISBN: 9781568812632 Format: Hardback	$168.00
This book is intended as a sequel or partial update of Subsystems of Second Order Arithmetic (SOSOA). It consists... Read More >>

Intensionality: Lecture Notes in Logic 22

Intensionality: Lecture Notes in Logic 22
Author: Reinhard Kahle (University of Illinois, Urbana, USA) ISBN: 9781568812670 Format: Hardback	$221.00
Read More >>

Logic and its Applications

Logic and its Applications
Author: Andreas Blass , Yi Zhang ISBN: 9780821834749 Format: Paperback	$220.00
Two conferences, Logic and Its Applications in Algebra and Geometry and Combinatorial Set Theory, Excellent Classes,... Read More >>

Classical and Nonclassical Logics: An Introduction to the Mathematics of Propositions

Classical and Nonclassical Logics: An Introduction to...
Author: Eric Schechter ISBN: 9780691122793 Format: Hardback	$235.00
In this book, the author introduces classical logic alongside constructive, relevant, comparative, and other nonclassical... Read More >>

From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics

From Sets and Types to Topology and Analysis: Towards...
Author: Van Bladel Kevin , Laura Crosilla ISBN: 9786610754038 Format: Electronic book text	$586.08
This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast... Read More >>

Proof and Disproof in Formal Logic: An Introduction for Programmers

Proof and Disproof in Formal Logic: An Introduction...
Author: Richard Bornat ISBN: 9786610759002 Format: Electronic book text	$301.22
Introducing formal logic, this book provides insight into how a simple logic works. It concentrates on using logic... Read More >>

Page 169 of 217 ... 164 165 166 167 168 169 170 171 172 173 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now