Mathematical logic books

5333 books were found.

Aspects Of Computation And Automata Theory With Applications

Aspects Of Computation And Automata Theory With Applications...

Author: Noam Greenberg (Victoria University Of Wellington, New Zealand) ,  Sanjay Jain (National University Of Singapore, Singapore)
ISBN: 9789811278624
Format: Hardback
$417.12

This volume results from two programs that took place at the Institute for Mathematical Sciences at the National...  Read More >>

Axiomatic Thinking I

Axiomatic Thinking I

Author: Fernando Ferreira ,  Reinhard Kahle
ISBN: 9783030776596
Format: Paperback
$263.97

In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method,...  Read More >>

A Theory of Truth

A Theory of Truth

Author: Yannis Stephanou (National and Kapodistrian University of Athens)
ISBN: 9781009437189
Format: Hardback
$310.50

The paradoxes about truth are the subject of extensive research. Developing an original approach, this book argues...  Read More >>

Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023

Model Validation and Uncertainty Quantification, Volume...

Author: Roland Platz ,  Garrison Flynn
ISBN: 9783031370021
Format: Hardback
$659.97

Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 41st IMAC, A Conference and Exposition...  Read More >>

Essays in Constructive Mathematics

Essays in Constructive Mathematics

Author: Harold M. Edwards ,  David A. Cox
ISBN: 9783030985608
Format: Paperback
$290.37

Contents and treatment are fresh and very different from the standard treatments Presents a fully constructive...  Read More >>

Introduction to Mathematics: Number, Space, and Structure

Introduction to Mathematics: Number, Space, and Structure...

Author: Scott A. Taylor
ISBN: 9781470471880
Format: Paperback
$150.70

Designed for an Introduction to Proofs course organised around the themes of number and space. Concepts are illustrated...  Read More >>

A Hen and a Half: Intriguing Conundrums, Confusing Paradoxes, Baffling Conjectures and Challenging Puzzles

A Hen and a Half: Intriguing Conundrums, Confusing Paradoxes,...

Author: John Driscoll
ISBN: 9781913565626
Format: Paperback
$25.75

A book of puzzles and conundrums for the mathematically or logically inclined. Some easier than others, some classic,...  Read More >>

A Protocol-theoretic Framework for the Logic of Epistemic Norms

A Protocol-theoretic Framework for the Logic of Epistemic...

Author: Ralph Jenkins
ISBN: 9783031085994
Format: Paperback
$290.37

This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN...  Read More >>

Essential Enterprise Blockchain Concepts and Applications

Essential Enterprise Blockchain Concepts and Applications...

Author: Kavita Saini (Galgotias University, India) ,  Pethuru Chelliah
ISBN: 9780367697655
Format: Paperback
$94.99

Companies are adapting blockchain for improving such sectors as supply chain and other transactions in a secure...  Read More >>

Logic for Justice: An Introduction to Formal Logic with an Emphasis on Political Reform

Logic for Justice: An Introduction to Formal Logic with...

Author: Isaac Wilhelm
ISBN: 9781032061580
Format: Hardback
$284.00

 Read More >>

Programs as Diagrams: From Categorical Computability to Computable Categories

Programs as Diagrams: From Categorical Computability...

Author: Dusko Pavlovic
ISBN: 9783031348266
Format: Hardback
$263.97

It is not always clear what computer programs mean in the various languages in which they can be written, yet a...  Read More >>

Axiomatic Thinking II

Axiomatic Thinking II

Author: Fernando Ferreira ,  Reinhard Kahle
ISBN: 9783030778019
Format: Paperback
$232.85

In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method,...  Read More >>

Diagrams and Gestures: Mathematics, Philosophy, and Linguistics

Diagrams and Gestures: Mathematics, Philosophy, and...

Author: Francesco La Mantia ,  Charles Alunni
ISBN: 9783031291104
Format: Hardback
$527.97

Resulting from trans-disciplinary work between mathematicians, philosophers, linguists and semioticians, the volume...  Read More >>

Kurt Gödel: The Genius of Metamathematics

Kurt Gödel: The Genius of Metamathematics

Author: William D. Brewer
ISBN: 9783031113116
Format: Paperback
$116.41

This book includes more details about the context of Gödel’s life than are found in earlier biographies, while avoiding...  Read More >>

The Sunday Times Teasers Book 2: Challenge Yourself with 100 Lateral-Thinking Puzzles

The Sunday Times Teasers Book 2: Challenge Yourself...

Author: The Times Mind Games
ISBN: 9780008617967
Format: Paperback
$29.99

The ultimate lateral-thinking challenge. If you relish a serious mental workout, this collection...  Read More >>

Times Mindset Puzzles Book 1: Put Your Solving Skills to the Test

Times Mindset Puzzles Book 1: Put Your Solving Skills...

Author: The Times Mind Games ,  Colin Whorlow
ISBN: 9780008618131
Format: Paperback
$29.99

Challenging brainteasers to test your puzzle-solving skills If you relish a challenging mental workout, these brain...  Read More >>

Logics for AI and Law. Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, September 8-9 and 11-12, 2023, Hangzhou

Logics for AI and Law. Joint Proceedings of the Third...

Author: Bruno Bentzen ,  Beishui Liao
ISBN: 9781848904392
Format: Paperback
$67.32

 Read More >>

Discrete Mathematics with Coding

Discrete Mathematics with Coding

Author: Hugo D Junghenn
ISBN: 9781032398525
Format: Hardback
$194.00

 Read More >>

Historia Logicae and its Modern Interpretation

Historia Logicae and its Modern Interpretation

Author: Jens Lemanski ,  Ingolf Max
ISBN: 9781848904088
Format: Paperback
$62.04

 Read More >>

Introducing String Diagrams: The Art of Category Theory

Introducing String Diagrams: The Art of Category Theory...

Author: Ralf Hinze (RPTU Kaiserslautern-Landau, Germany) ,  Dan Marsden (University of Nottingham)
ISBN: 9781009317863
Format: Hardback
$103.47

This is the first self-contained introduction to the use of string diagrams to reason in elementary category theory....  Read More >>

Transition To Proofs

Transition To Proofs

Author: Simon Rubinstein-salzedo (Euler Circle, Usa)
ISBN: 9789811272325
Format: Paperback
$126.72

This textbook is aimed at transitioning high-school students who have already developed proficiency in mathematical...  Read More >>

Transition To Proofs

Transition To Proofs

Author: Simon Rubinstein-salzedo (Euler Circle, Usa)
ISBN: 9789811272080
Format: Hardback
$311.52

This textbook is aimed at transitioning high-school students who have already developed proficiency in mathematical...  Read More >>

Latest Reading Guide

wl

Shopping Cart
Your cart is empty
Shopping cart
Mailing List