Mathematical logic books

5407 books were found.

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

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

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

Die Schulmathematik vermittelt meist nur einen sehr eingeschränkten Einblick in die beweisorientierte und axiomatisch...  Read More >>

Introduction to Blockchain Technology

Introduction to Blockchain Technology

Author: Ahmed Banafa
ISBN: 9788770221603
Format: Paperback
$67.99

 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

 Read More >>

Harmonic Analysis and Convexity

Harmonic Analysis and Convexity

Author: Alexander Koldobsky ,  Alexander Volberg
ISBN: 9783110775372
Format: Hardback
$317.37

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

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

This volume collects 22 essays on the history of logic written by outstanding specialists in the field.  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

 Read More >>

Convergence of Blockchain, AI and IoT: A Digital Platform

Convergence of Blockchain, AI and IoT: A Digital Platform...

Author: B Balamurugan (SNU, Gr. Noida) ,  T Poongodi
ISBN: 9780367495305
Format: Hardback
$189.00

This book discusses the convergence of three powerful technologies that play into the digital revolution and blur...  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

This book revises and expands upon the prior edition, The Navier-Stokes Problem. By proving the NSP paradox, this...  Read More >>

Conhecimento Pedag�gico Do Conte�do No Ensino F�sica

Conhecimento Pedag�gico Do Conte�do No Ensino F�sica...

Author: Morais Thiago
ISBN: 9786500726619
Format: Paperback
$34.72

O conhecimento pedag�gico do conte�do de f�sica desempenha um papel fundamental na educa��o, pois permite aos professores...  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 >>

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

This contributed volume overviews recently presented approaches for carrying out QSPR/QSAR analysis by using a simplifying...  Read More >>

Lógica de demostraciones

Lógica de demostraciones

Author: Otakar Molnár López
ISBN: 9798851565328
Format: Paperback
$19.80

La siguiente obra es una introducción a las demostraciones muy básica y lo hace mediante una herramienta llamada...  Read More >>

Modern Cryptography with Proof Techniques and Implementations

Modern Cryptography with Proof Techniques and Implementations...

Author: Seong Oun Hwang ,  Intae Kim
ISBN: 9780367723231
Format: Paperback
$94.99

Proof techniques in cryptography are very difficult to understand even for students or researchers who major in...  Read More >>

Concise Encyclopedia of Coding Theory

Concise Encyclopedia of Coding Theory

Author: W. Cary Huffman (Loyola University, USA) ,  Jon-Lark Kim
ISBN: 9780367709327
Format: Paperback
$162.00

Coding theory has grown into a discipline with many practical applications requiring various mathematical techniques...  Read More >>

Logic for Kids: All Aboard the Therefore Train!

Logic for Kids: All Aboard the Therefore Train!

Author: Arnold Cusmariu
ISBN: 9789814968607
Format: Paperback
$98.30

Getting started in logic at the earliest opportunity is the answer. While other books adopt a formal approach, using...  Read More >>

Is Maths Real?: How Simple Questions Lead Us to Mathematics’ Deepest Truths

Is Maths Real?: How Simple Questions Lead Us to Mathematics’...

Author: Eugenia Cheng
ISBN: 9781788169523
Format: Hardback
$36.99

One of the world's most creative mathematicians offers new ways to look at maths - focusing on questions, not answers...  Read More >>

Introduction to Proof Through Number Theory

Introduction to Proof Through Number Theory

Author: Bennett Chow
ISBN: 9781470470272
Format: Paperback
$150.70

Lighten up about mathematics! Have fun. If you read this book, you will have to endure bad math puns and jokes and...  Read More >>

Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List