Mathematical logic books

5348 books were found.

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 >>

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
Read More >>

The Exoteric Square of Opposition: The Sixth World Congress on the Square of Opposition

The Exoteric Square of Opposition: The Sixth World Congress...
Author: Jean-Yves Beziau , Ioannis Vandoulakis ISBN: 9783030908256 Format: Paperback	$448.77
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 >>

Einstieg in die beweisorientierte Mathematik: Mit Versuch und Irrtum zum Beweis

Einstieg in die beweisorientierte Mathematik: Mit Versuch...
Author: Felix Göbler , Alex Küronya ISBN: 9783662663554 Format: Paperback	$92.37
Read More >>

Computability

Computability
Author: George Tourlakis ISBN: 9783030832049 Format: Paperback	$142.29
This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians... Read More >>

Introduction to Blockchain Technology

Introduction to Blockchain Technology
Author: Ahmed Banafa ISBN: 9788770221603 Format: Paperback	$62.99
This book explores the fundamentals and applications of Blockchain technology. Read More >>

Journal of Applied Logics. IfCoLog Journal of Logics and their Applications. Volume 10, number 4, July 2023

Journal of Applied Logics. IfCoLog Journal of Logics...
Author: Dov Gabbay ISBN: 9781848904347 Format: Paperback	$55.44
Read More >>

Reverse Mathematics: Problems, Reductions, and Proofs

Reverse Mathematics: Problems, Reductions, and Proofs...
Author: Damir D. Dzhafarov , Carl Mummert ISBN: 9783031113697 Format: Paperback	$142.29
Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Read More >>

Model Theory of Operator Algebras

Model Theory of Operator Algebras
Author: Isaac Goldbring ISBN: 9783110768213 Format: Hardback	$300.21
70105114115116451111141001011143210811110310599321151161171001051011153210997116104101109971161059997108321151161141179911611711410111532111110101329997110321001011159911410598101321051103297321129711... Read More >>

Harmonic Analysis and Convexity

Harmonic Analysis and Convexity
Author: Alexander Koldobsky , Alexander Volberg ISBN: 9783110775372 Format: Hardback	$317.37
84104101321051101161011149799116105111110329810111611910110111032104971141091111101059932971109710812111510511532971101003299111110118101120321031011111091011161141213210497115321001149710997116105999... Read More >>

A Century since Principia's Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin's 80th Anniversary

A Century since Principia's Substitution Bedazzled Haskell...
Author: Fairouz Kamareddine ISBN: 9781848904361 Format: Paperback	$62.04
Read More >>

How to Expect the Unexpected: The Science of Making Predictions and the Art of Knowing When Not To

How to Expect the Unexpected: The Science of Making...
Author: Kit Yates ISBN: 9781529408683 Format: Paperback	$43.96
A fascinating exploration of how we can make better, accessible, mathematically-informed predictions about the world... Read More >>

How to Expect the Unexpected: The Science of Making Predictions and the Art of Knowing When Not To

How to Expect the Unexpected: The Science of Making...
Author: Kit Yates ISBN: 9781529408676 Format: Hardback	$55.00
A fascinating exploration of how we can make better, accessible, mathematically-informed predictions about the world... Read More >>

Thinking and Calculating: Essays in Logic, Its History and Its Philosophical Applications in Honour of Massimo Mugnai

Thinking and Calculating: Essays in Logic, Its History...
Author: Francesco Ademollo , Fabrizio Amerini ISBN: 9783030973056 Format: Paperback	$448.77
Read More >>

Beyond First Order Model Theory, Volume II

Beyond First Order Model Theory, Volume II
Author: Jose Iovino ISBN: 9780367208264 Format: Hardback	$284.00
This second volume contains introductions to real-valued logic and applications, abstract elementary classes and... Read More >>

Analysis of the Navier-Stokes Problem: Solution of a Millennium Problem

Analysis of the Navier-Stokes Problem: Solution of a...
Author: Alexander G. Ramm ISBN: 9783031307225 Format: Hardback	$64.66
Read More >>

Field Arithmetic

Field Arithmetic
Author: Michael D. Fried , Moshe Jarden ISBN: 9783031280191 Format: Hardback	$517.47
Field Arithmetic explores Diophantine fields through their absolute Galois groups. Read More >>

Logic, Inductive and Deductive

Logic, Inductive and Deductive
Author: William Minto ISBN: 9789357091312 Format: Paperback	$42.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 >>

QSPR/QSAR Analysis Using SMILES and Quasi-SMILES

QSPR/QSAR Analysis Using SMILES and Quasi-SMILES
Author: Alla P. Toropova , Andrey A. Toropov ISBN: 9783031284007 Format: Hardback	$388.10
Read More >>

Page 5 of 214 1 2 3 4 5 6 7 8 9 10 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now