Mathematical Logic

Logic and Structure

By: Dirk van Dalen

eText

Instant Online Reading*

$109.00

The Arts of Truth

By: Rud Istvan

eBook

Instant Digital Delivery

$17.47

My Library

Categories for Software Engineering

By: Jose Luiz Fiadeiro

eText

Instant Online Reading*

Universal Artificial Intelligence
Sequential Decisions Based on Algorithmic Proba...

By: Marcus Hutter

eText

Instant Online Reading*

$139.00

Generalized Measure Theory
IFSR International Series in Systems Science an...

By: Zhenyuan Wang and George J. Klir

eText

Instant Online Reading*

Introduction to Boolean Algebras

By: Steven Givant and Paul Halmos

eText

Instant Online Reading*

$69.99

Mathematical Logic for Computer Science

By: Mordechai Ben-Ari

eText

Instant Online Reading*

A Logical Introduction to Proof

By: Daniel W. Cunningham

eText

Instant Online Reading*

Mathematical Linguistics

By: Andras Kornai

eText

Instant Online Reading*

Comprehensive Mathematics for Computer Scientists 1
Sets and Numbers, Graphs and Algebra, Logic and...

By: Guerino Mazzola, Gérard Milmeister and Jody Weissmann

eText

Instant Online Reading*

$119.00

Neural-Symbolic Cognitive Reasoning

By: Artur S. D'Avila Garcez, Luís C. Lamb and Dov M. Gabbay

eText

Instant Online Reading*

$109.00

Instruction Sequences for Computer Science

By: Jan A Bergstra and Cornelis A. Middelburg

eText

Instant Online Reading*

The Music of the Primes
Why an unsolved problem in mathematics matters ...

By: Marcus du Sautoy

eBook

Instant Digital Delivery

$19.99

Finding Moonshine
A Mathematician's Journey Through Symmetry (Tex...

By: Marcus du Sautoy

eBook

Instant Digital Delivery

$14.99

Methods of Argumentation

By: Douglas Walton

eText

Instant Online Reading*

$45.95

The Quantum Guide to Life
How The Laws Of Physics Explain Our Lives From ...

By: Kunal K. Das

eBook

Instant Digital Delivery

$20.99

Symbolic Logic
Syntax, Semantics, and Proof

By: David Agler

eText

Instant Online Reading*

$152.85

Computability and Logic

By: George S. Boolos, John P. Burgess and Richard C. Jeffrey

eText

Instant Online Reading*

$52.95

Set Theory

By: Andras Hajnal and Peter Hamburger

eText

Instant Online Reading*

$107.95

Set Theory for the Working Mathematician

By: Krzysztof Ciesielski

eText

Instant Online Reading*

$75.96

An Introduction to Mathematical Reasoning
Numbers, Sets and Functions

By: Peter J. Eccles

eText

Instant Online Reading*

$62.95

Fermat's Last Theorem

By: Simon Singh

eBook

Instant Digital Delivery

$9.99

Sets, Logic and Maths for Computing
Undergraduate Topics in Computer Science

By: David Makinson

eText

Instant Online Reading*

$59.99

Belief Revision in Non-Classical Logics
SpringerBriefs in Computer Science

By: Márcio Moretto Ribeiro

eText

Instant Online Reading*

Computational Analysis of Terrorist Groups
Lashkar-e-Taiba

By: V.S. Subrahmanian, Aaron Mannes, Amy Sliva, Jana Shakarian and John P. Dickerson

eText

Instant Online Reading*

$129.00

Modelling Distributed Systems

By: Wan Fokkink

eText

Instant Online Reading*

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
SpringerBriefs in Computer Science

By: Brian Henderson-Sellers

eText

Instant Online Reading*

Epistemology versus Ontology
Essays on the Philosophy and Foundations of Mat...

By: P. Dybjer, Sten Lindström, B.G. Sundholm and Erik Palmgren

eBook

Instant Digital Delivery

RRP $319.00

$287.99

Number Theory
An Introduction via the Distribution of Primes

By: Benjamin Fine and Gerhard Rosenberger

eText

Instant Online Reading*

General Lattice Theory
General Lattice Theory

By: George Gratzer

eText

Instant Online Reading*

$133.10

The Cloud of Unknowing

By: Evelyn Underhill

eBook

Instant Digital Delivery

$5.99

Geekspeak
Why Life + Mathematics = Happiness

By: Graham Tattersall

eBook

Instant Digital Delivery

$5.99

Introduction to Analysis
Dover Books on Mathematics

By: Maxwell Rosenlicht

eText

Instant Online Reading*

$26.47

My Library

Axiomatic Set Theory
Dover Books on Mathematics

By: Patrick Suppes

eBook

Instant Digital Delivery

My Library

Introduction to Logic
Dover Books on Mathematics

By: Patrick Suppes

eBook

Instant Digital Delivery

$33.13

My Library

A Profile of Mathematical Logic
Dover Books on Mathematics

By: Howard DeLong

eBook

Instant Digital Delivery

$38.38

My Library

Set Theory and Logic
Dover Books on Mathematics

By: Robert R. Stoll

eBook

Instant Digital Delivery

$38.38

My Library

The Logic of Chance
Dover Books on Mathematics

By: John Venn

eBook

Instant Digital Delivery

$61.11

My Library

Introduction to Mathematical Thinking
The Formation of Concepts in Modern Mathematics

By: Friedrich Waismann

eBook

Instant Digital Delivery

My Library

Introduction to Formal Languages
Dover Books on Mathematics

By: György E. Révész

eBook

Instant Digital Delivery

My Library

Regular Algebra and Finite Machines
Dover Books on Mathematics

By: John Horton Conway

eBook

Instant Digital Delivery

$17.40

My Library

Studies in Logic and Probability
Dover Books on Mathematics

By: George Boole

eBook

Instant Digital Delivery

My Library

An Investigation of the Laws of Thought

By: George Boole

eBook

Instant Digital Delivery

My Library

Recursive Analysis
Dover Books on Mathematics

By: R. L. Goodstein

eBook

Instant Digital Delivery

$20.89

My Library

Handbook of Mathematical Functions
with Formulas, Graphs, and Mathematical Tables

By: Milton Abramowitz and Irene A. Stegun

eText

Instant Online Reading*

$74.90

My Library

On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Dover Books on Mathematics

By: Kurt Gödel

eBook

Instant Digital Delivery

$15.65

My Library

The Godelian Puzzle Book
Puzzles, Paradoxes and Proofs

By: Raymond M. Smullyan

eText

Instant Online Reading*

$24.66

My Library

Playing with Infinity
Dover Books on Mathematics

By: Rózsa Péter

eBook

Instant Digital Delivery

$22.64

My Library

An Introduction to Stability Theory
Dover Books on Mathematics

By: Anand Pillay

eBook

Instant Digital Delivery

$20.89

My Library

First Course in Mathematical Logic
Dover Books on Mathematics

By: Patrick Suppes and Shirley Hill

eBook

Instant Digital Delivery

My Library

How to Solve Mathematical Problems
Dover Books on Mathematics

By: Wayne A. Wickelgren

eBook

Instant Digital Delivery

$22.64

My Library

The Philosophy of Mathematics
Translated from Cours de Philosophie Positive b...

By: Auguste Comte

eBook

Instant Digital Delivery

$174.82

My Library

Topoi
The Categorial Analysis of Logic

By: Robert Goldblatt

eBook

Instant Digital Delivery

$52.36

My Library

Introduction to Logic
and to the Methodology of Deductive Sciences

By: Alfred Tarski

eBook

Instant Digital Delivery

$22.64

My Library

Mathematics and the Imagination
Dover Books on Mathematics

By: Edward Kasner and James Newman

eBook

Instant Digital Delivery

My Library

Topos Theory
Dover Books on Mathematics

By: P.T. Johnstone

eBook

Instant Digital Delivery

My Library

Computability and Unsolvability
Dover Books on Computer Science

By: Prof. Martin Davis

eBook

Instant Digital Delivery

My Library

Model Theory
Third Edition

By: C.C. Chang and H. Jerome Keisler

eBook

Instant Digital Delivery

$61.11

My Library

Burden of Proof, Presumption and Argumentation

By: Douglas Walton

eText

Instant Online Reading*

$41.95

Puzzling Adventures
Tales of Strategy, Logic, and Mathematical Skill

By: Dennis E. Shasha

eBook

Instant Digital Delivery

RRP $21.95

$17.99

18%
OFF

What Is Mathematical Logic?
Dover Books on Mathematics

By: J. N. Crossley, J.C. Stillwell, C.J. Brickhill and C.J. Ash

eBook

Instant Digital Delivery

$12.15

My Library

Four Lives
A Celebration of Raymond Smullyan

By: Raymond M. Smullyan and Jason Rosenhouse

eBook

Instant Digital Delivery

My Library

On the Study and Difficulties of Mathematics
Dover Books on Mathematics

By: Augustus De Morgan

eBook

Instant Digital Delivery

$100.53

My Library

Pattern Recognition and Signal Analysis in Medical Imaging

By: Anke Meyer-Baese and Volker J. Schmid

eBook

Instant Digital Delivery

RRP $161.77

$145.99

The Cloud of Unknowing
The Classic of Medieval Mysticism

By: Evelyn Underhill

eBook

Instant Digital Delivery

$15.65

My Library

Foundations and Fundamental Concepts of Mathematics
Dover Books on Mathematics

By: Howard Eves

eBook

Instant Digital Delivery

My Library

Introduction to Symbolic Logic and Its Applications

By: Rudolf Carnap

eBook

Instant Digital Delivery

My Library

Mathematical Logic
Dover Books on Mathematics

By: Stephen Cole Kleene

eBook

Instant Digital Delivery

My Library

An Introduction to Number Theory with Cryptography
Textbooks in Mathematics

By: James Kraft and Lawrence Washington

eText

Instant Online Reading*

$97.90

Nondeductive Inference
Routledge Library Editions: Logic

By: Robert Ackermann

eText

Instant Online Reading*

$69.30

An Elementary Transition to Abstract Mathematics
Textbooks in Mathematics

By: Gove Effinger and Gary L. Mullen

eText

Instant Online Reading*

$97.90

Mathematics And The World's Most Famous Maths Problem
The Riemann Hypothesis

By: Jeffrey Todd

eBook

Instant Digital Delivery

$5.99

Effective Mathematics of the Uncountable
Lecture Notes in Logic : Book 41

By: Noam Greenberg, Denis Hirschfeldt, Joel David Hamkins and Russell Miller

eBook

Instant Digital Delivery

RRP $203.95

$173.99

15%
OFF

Exploring Mathematics
An Engaging Introduction to Proof

By: John Meier and Derek Smith

eText

Instant Online Reading*

$79.95

The Lifebox, the Seashell, and the Soul

By: Rudy Rucker

eBook

Instant Digital Delivery

$11.99

Logic in Elementary Mathematics
Dover Books on Mathematics

By: Robert M. Exner and Myron F. Rosskopf

eBook

Instant Digital Delivery

$34.88

My Library

The Evolution of Logic
The Evolution of Modern Philosophy

By: W. D. Hart

eText

Instant Online Reading*

$51.95

Relational Topology
Lecture Notes in Mathematics : Book 2208

By: Gunther Schmidt and Michael Winter

eText

Instant Online Reading*

Automated Theorem Proving in Software Engineering

By: Johann M. Schumann

eText

Instant Online Reading*

Information from Processes
About the Nature of Information Creation, Use, ...

By: Robert M. Losee

eText

Instant Online Reading*

Intuitionistic Fuzzy Logics
Studies in Fuzziness and Soft Computing : Book 351

By: Krassimir T. Atanassov

eText

Instant Online Reading*

Artificial Intelligence Applications and Innovations
15th IFIP WG 12.5 International Conference, AIA...

By: John MacIntyre, Ilias Maglogiannis, Lazaros Iliadis and Elias Pimenidis

eText

Instant Online Reading*

Raymond Smullyan on Self Reference
Outstanding Contributions to Logic : Book 14

By: Melvin Fitting and Brian Rayman

eText

Instant Online Reading*

$169.00

Hilary Putnam on Logic and Mathematics
Outstanding Contributions to Logic : Book 9

By: Geoffrey Hellman

eText

Instant Online Reading*

$209.00

Formal Languages and Compilation
Texts in Computer Science

By: Stefano Crespi Reghizzi, Luca Breveglieri and Angelo Morzenti

eText

Instant Online Reading*

Semantics, Logics, and Calculi
Essays Dedicated to Hanne Riis Nielson and Flem...

By: Christian W. Probst, Chris Hankin and René Rydhof Hansen

eText

Instant Online Reading*

Tools and Algorithms for the Construction and Analysis of Systems
23rd International Conference, TACAS 2017, Held...

By: Axel Legay and Tiziana Margaria

eText

Instant Online Reading*

Numerical Software Verification
10th International Workshop, NSV 2017, Heidelbe...

By: Alessandro Abate and Sylvie Boldo

eText

Instant Online Reading*

Principles and Practice of Constraint Programming
25th International Conference, CP 2019, Stamfor...

By: Thomas Schiex and Simon de Givry

eText

Instant Online Reading*

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016)
9th International Conference, LACL 2016, Nancy,...

By: Maxime Amblard, Philippe de Groote, Sylvain Pogodalla and Christian Retoré

eText

Instant Online Reading*

Artificial General Intelligence
10th International Conference, AGI 2017, Melbou...

By: Ben Goertzel and Alexey Potapov Tom Everitt

eText

Instant Online Reading*

$89.99

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII
Selected Papers from FDSE 2014

By: Abdelkader Hameurlain, Josef Küng, Roland Wagner, Tran Khanh Dang and Nam Thoai

eText

Instant Online Reading*

Internal Logic
Foundations of Mathematics from Kronecker to Hi...

By: Y. Gauthier

eText

Instant Online Reading*

Trends in Functional Programming
16th International Symposium, TFP 2015, Sophia ...

By: Manuel Serrano and Jurriaan Hage

eText

Instant Online Reading*

$69.99

Theory and Applications of Models of Computation
14th Annual Conference, TAMC 2017, Bern, Switze...

By: Silvia Steila, T.V. Gopal and Gerhard Jäger

eText

Instant Online Reading*

Interoperability and Open-Source Solutions for the Internet of Things
Second International Workshop, InterOSS-IoT 201...

By: Author

eText

Instant Online Reading*

Knowledge Engineering and Knowledge Management
EKAW 2016 Satellite Events, EKM and Drift-an-LO...

By: Author

eText

Instant Online Reading*