Mathematical logic books

5346 books were found.

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

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

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

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

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

Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing

Temporal Logic: From Philosophy And Proof Theory To...

Author: Klaus Mainzer (Technische Univ Munchen, Germany) ,  Stefania Centrone (Technische Univ Munchen, Germany)
ISBN: 9789811268533
Format: Hardback
$205.92

Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows...  Read More >>

Algorithms for Constructing Computably Enumerable Sets

Algorithms for Constructing Computably Enumerable Sets...

Author: Kenneth J. Supowit
ISBN: 9783031269035
Format: Hardback
$99.00

"Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets.  This...  Read More >>

Mathematical Logic: An Introduction

Mathematical Logic: An Introduction

Author: Daniel Cunningham
ISBN: 9783110782011
Format: Paperback
$137.19

This textbook reviews the foundational topics that are typically covered in an introduction to proof course and...  Read More >>

Advances and Applications of Fuzzy Sets and Logic

Advances and Applications of Fuzzy Sets and Logic

Author: Said Broumi
ISBN: 9781799879800
Format: Paperback
$265.10

Explroes recent theoretical advances of fuzzy sets and numbers, fuzzy systems, fuzzy logic and their generalizations,...  Read More >>

The Baseball Mysteries: Challenging Puzzles for Logical Detectives

The Baseball Mysteries: Challenging Puzzles for Logical...

Author: Jerry Butters ,  Jim Henle
ISBN: 9781032365053
Format: Paperback
$50.99

 Read More >>

The Baseball Mysteries: Challenging Puzzles for Logical Detectives

The Baseball Mysteries: Challenging Puzzles for Logical...

Author: Jerry Butters ,  Jim Henle
ISBN: 9781032365480
Format: Hardback
$162.00

This book contains numerous logical baseball puzzles. To jump in, all you need is logic and a casual fan’s knowledge...  Read More >>

Building and Solving Mathematical Programming Models: 50 Practical Examples

Building and Solving Mathematical Programming Models:...

Author: José Manuel García Sánchez
ISBN: 9783030976286
Format: Paperback
$181.10

This book presents the construction and resolution of 50 practical optimization problems and covers an exceptionally...  Read More >>

Diagrams, Visual Imagination, and Continuity in Peirce's Philosophy of Mathematics

Diagrams, Visual Imagination, and Continuity in Peirce's...

Author: Vitaly Kiryushchenko
ISBN: 9783031232442
Format: Hardback
$448.77

This book is about the relationship between necessary reasoning and visual experience in Charles S. In practicing...  Read More >>

Cryptography for Payment Professionals

Cryptography for Payment Professionals

Author: Ilya Dubinsky
ISBN: 9781032442747
Format: Hardback
$210.00

The book is a one-stop source for cryptographic methods used in payment technologies in major global markets: legacy...  Read More >>

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics

Chapters from Gödel’s Unfinished Book on Foundational...

Author: Jan von Plato
ISBN: 9783030971366
Format: Paperback
$316.77

"This volume contains English translations of Gödel's chapters on logicism and the antinomies and on the calculi...  Read More >>

Algorithmen: Praktischer Leitfaden zum Erlernen von Algorithmen für Anfänger

Algorithmen: Praktischer Leitfaden zum Erlernen von...

Author: Andy Vickler
ISBN: 9781955786560
Format: Paperback
$47.49

 Read More >>

Algorithmen: Entwurf von Algorithmen zum Lösen allgemeiner Probleme

Algorithmen: Entwurf von Algorithmen zum Lösen allgemeiner...

Author: Andy Vickler
ISBN: 9781955786577
Format: Paperback
$47.49

 Read More >>

Algoritmos: Guía práctica para aprender algoritmos para principiantes

Algoritmos: Guía práctica para aprender algoritmos para...

Author: Andy Vickler
ISBN: 9781955786492
Format: Paperback
$47.49

 Read More >>

Algoritmos: Diseñar algoritmos para resolver problemas comunes

Algoritmos: Diseñar algoritmos para resolver problemas...

Author: Andy Vickler
ISBN: 9781955786508
Format: Paperback
$47.49

 Read More >>

Algoritmos: Estructuras de datos avanzadas para algoritmos

Algoritmos: Estructuras de datos avanzadas para algoritmos...

Author: Andy Vickler
ISBN: 9781955786515
Format: Paperback
$47.49

 Read More >>

Algorithmen: Dieses Buch enthält: Praktischer Leitfaden zum Erlernen von Algorithmen für Anfänger + Entwurf von Algorithmen zum Lösen allgemeiner Probleme + Fortgeschrittene Datenstrukturen für Algorithmen

Algorithmen: Dieses Buch enthält: Praktischer Leitfaden...

Author: Andy Vickler
ISBN: 9781955786591
Format: Paperback
$79.17

Haben Sie sich jemals gefragt, wie ein Programmierer Spiele entwickelt und Code schreibt, ohne viel nachdenken zu...  Read More >>

Latest Reading Guide

wl

Shopping Cart
Your cart is empty
Shopping cart
Mailing List