Mathematical logic books

5407 books were found.

Ifcolog Journal of Logics and their Applications. Hilbert's epsilon and tau in Logic, Informatics and Linguistics: Volume 4, Number 2, March 2017

Ifcolog Journal of Logics and their Applications. Hilbert's...
Author: Stergios Chatzikyriakis , Fabio Pasquali ISBN: 9781848902343 Format: Paperback	$31.05
The IfColog Journal of Logics and their Applications covers all areas of pure and applied logic, broadly construed.... Read More >>

Naive Set Theory

Naive Set Theory
Author: Paul Halmos (Santa Clara University, California) ISBN: 9781773230542 Format: Paperback	$20.46
This book Naive Set Theory uses the language and notation of ordinary informal mathematics to state the basic... Read More >>

Multiple-Base Number System: Theory and Applications

Multiple-Base Number System: Theory and Applications...
Author: Vassil Dimitrov (University of Calgary, Alberta, Canada) , Graham Jullien (University of Calgary, Alberta, Canada) ISBN: 9781138076518 Format: Paperback	$152.00
Computer arithmetic has become so fundamentally embedded into digital design that many engineers are unaware of... Read More >>

The Logician and the Engineer: How George Boole and Claude Shannon Created the Information Age

The Logician and the Engineer: How George Boole and...
Author: Paul Nahin ISBN: 9780691176000 Format: Paperback	$32.99
Third printing. First paperback printing. Original copyright date: 2013. Read More >>

Forall X: Calgary Remix: An Introduction to Formal Logic

Forall X: Calgary Remix: An Introduction to Formal Logic...
Author: P D Magnus , Senior Lecturer and Fellow Tim Button (St John's College Cambridge) ISBN: 9781546435112 Format: Paperback	$29.96
An introduction to formal logic, covering truth-functional connectives and first-order logic, symbolisation, truth... Read More >>

God and the Mathematics of Infinity: What Irreducible Mathematics Says about Godhood

God and the Mathematics of Infinity: What Irreducible...
Author: H Chris Ransford ISBN: 9783838210193 Format: Paperback	$33.64
Drawing on incontrovertible results from the science and mathematics of Infinity, H. Chris Ransford analyzes the... Read More >>

Problemlösen und Mathematiklernen: Zum Nutzen des Probierens und des Irrtums

Problemlösen und Mathematiklernen: Zum Nutzen des Probierens...
Author: Anna-Christin Söhling ISBN: 9783658175894 Format: Paperback	$171.57
Read More >>

Distributed Networks: Intelligence, Security, and Applications

Distributed Networks: Intelligence, Security, and Applications...
Author: Qurban A. Memon (UAE University, Al-Ain) ISBN: 9781138077010 Format: Paperback	$162.00
Read More >>

Visual Cryptography and Secret Image Sharing

Visual Cryptography and Secret Image Sharing
Author: Stelvio Cimato (Universita degli studi di Milano, Italy) , Ching-Nung Yang (National Dong Hwa University, Taiwan) ISBN: 9781138076044 Format: Paperback	$162.00
With rapid progress in Internet and digital imaging technology, there are more and more ways to easily create, publish,... Read More >>

Proper and Improper Forcing

Proper and Improper Forcing
Author: Saharon Shelah (Hebrew University of Jerusalem) ISBN: 9781107168367 Format: Hardback	$447.64
The author gives a complete presentation of the theory of proper forcing and its relatives, starting from the beginning.... Read More >>

Logic, Inductive and Deductive

Logic, Inductive and Deductive
Author: William Minto ISBN: 9781545379219 Format: Paperback	$31.13
This book has been deemed as a classic and has stood the test of time. The book has been considered by academicians... Read More >>

Elements of Quasigroup Theory and Applications

Elements of Quasigroup Theory and Applications
Author: Victor Shcherbacov , J. D. Phillips ISBN: 9781498721554 Format: Hardback	$326.00
Understanding Interaction is a book that explores the interaction between people and technology, in the broader... Read More >>

Mathematical Formulae

Mathematical Formulae
Author: Ken Kubota ISBN: 9783943334074 Format: Paperback	$77.63
This work contains the formula part of the presentation of the mathematical logic R0, a further development of Peter... Read More >>

Die Gödel'schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis

Die Gödel'schen Unvollständigkeitssätze: Eine geführte...
Author: Dirk W. Hoffmann ISBN: 9783662542996 Format: Paperback	$118.77
Read More >>

Recursion Theory

Recursion Theory
Author: Joseph R. Shoenfield (Duke University, North Carolina) ISBN: 9781107168084 Format: Hardback	$284.63
Read More >>

Logic Colloquium '90: ASL Summer Meeting in Helsinki

Logic Colloquium '90: ASL Summer Meeting in Helsinki...
Author: Juha Oikkonen (University of Helsinki) , Jouko Väänänen (University of Helsinki) ISBN: 9781107169029 Format: Hardback	$284.63
The proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in July 1990, containing... Read More >>

Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy

Gödel '96: Logical Foundations of Mathematics, Computer...
Author: Petr Hájek (Academy of Sciences of the Czech Republic, Prague) ISBN: 9781107168022 Format: Hardback	$287.19
Read More >>

Model Theory of Fields

Model Theory of Fields
Author: David Marker (University of Illinois, Chicago) , Margit Messmer (University of Illinois, Urbana-Champaign) ISBN: 9781107168077 Format: Hardback	$287.19
Read More >>

Fine Structure and Iteration Trees

Fine Structure and Iteration Trees
Author: William J. Mitchell (University of Florida) , John R. Steel (University of California, Los Angeles) ISBN: 9781107169098 Format: Hardback	$287.19
Read More >>

Recursion-Theoretic Hierarchies

Recursion-Theoretic Hierarchies
Author: Peter G. Hinman (University of Michigan, Ann Arbor) ISBN: 9781107168244 Format: Hardback	$375.16
Read More >>

Higher Recursion Theory

Higher Recursion Theory
Author: Gerald E. Sacks (Harvard University, Massachusetts) ISBN: 9781107168435 Format: Hardback	$338.94
Read More >>

Model-Theoretic Logics

Model-Theoretic Logics
Author: J. Barwise (Stanford University, California) , S. Feferman (Stanford University, California) ISBN: 9781107168251 Format: Hardback	$491.62
Read More >>

Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996

Logic Colloquium '96: Proceedings of the Colloquium...
Author: J. M. Larrazabal (University of the Basque Country, San Sebastian) , D. Lascar (Université de Paris VII (Denis Diderot)) ISBN: 9781107166080 Format: Hardback	$284.63
Read More >>

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995

Logic Colloquium '95: Proceedings of the Annual European...
Author: Johann A. Makowsky (Technion - Israel Institute of Technology, Haifa) , Elena V. Ravve (Technion - Israel Institute of Technology, Haifa) ISBN: 9781107167902 Format: Hardback	$333.76
Read More >>

Bounded Variable Logics and Counting: A Study in Finite Models

Bounded Variable Logics and Counting: A Study in Finite...
Author: Martin Otto (Rheinisch-Westfälische Technische Hochschule, Aachen, Germany) ISBN: 9781107167940 Format: Hardback	$287.19
This study introduces some central ideas and lines of research in finite model theory - particularly bounded variable... Read More >>

Page 71 of 217 ... 66 67 68 69 70 71 72 73 74 75 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now