Mathematical logic books

5372 books were found.

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

Algorithms: Advanced Data Structures for Algorithms

Algorithms: Advanced Data Structures for Algorithms...

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

 Read More >>

Algorithms: Design Algorithms to Solve Common Problems

Algorithms: Design Algorithms to Solve Common Problems...

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

 Read More >>

A Bridge to Advanced Mathematics: From Natural to Complex Numbers

A Bridge to Advanced Mathematics: From Natural to Complex...

Author: Sebastian M. Cioaba ,  Werner Linde
ISBN: 9781470471484
Format: Paperback
$150.70

Most introduction to proofs textbooks focus on the structure of rigorous mathematical language and only use mathematical...  Read More >>

Mathematics For Computation (M4c)

Mathematics For Computation (M4c)

Author: Marco Benini (Univ Degli Studi Dell'insubria, Italy) ,  Olaf Beyersdorff (Friedrich-schiller-univ Jena, Germany)
ISBN: 9789811245213
Format: Hardback
$390.72

The overall topic of the volume, Mathematics for Computation (M4C), is mathematics taking crucially into account...  Read More >>

Cryptocurrency Concepts, Technology, and Applications

Cryptocurrency Concepts, Technology, and Applications...

Author: Jay Liebowitz (Harrisburg University of Science and Technology, Pennsylvania, USA)
ISBN: 9781032324371
Format: Paperback
$94.99

Some of the hottest topics today involve cryptocurrency, and FinTech. With all these trends, businesses need to...  Read More >>

Cryptocurrency Concepts, Technology, and Applications

Cryptocurrency Concepts, Technology, and Applications...

Author: Jay Liebowitz (Harrisburg University of Science and Technology, Pennsylvania, USA)
ISBN: 9781032324418
Format: Hardback
$252.00

Some of the hottest topics today involve cryptocurrency, and FinTech. With all these trends, businesses need to...  Read More >>

R-Calculus, II: Many-Valued Logics

R-Calculus, II: Many-Valued Logics

Author: Wei Li ,  Yuefei Sui
ISBN: 9789811692963
Format: Paperback
$336.35

Also it is very useful for all those who are interested in data, digitization and correctness and consistency of...  Read More >>

Applied Quantum Cryptanalysis

Applied Quantum Cryptanalysis

Author: Alexei Petrenko (Innopolis University, Russian Federation)
ISBN: 9788770227933
Format: Hardback
$200.00

This monograph contains the best practice for solving problems of quantum cryptanalysis to improve cyber security...  Read More >>

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Concrete Abstractions: Formalizing and Analyzing Discrete...

Author: Wolfgang Schreiner
ISBN: 9783031249334
Format: Hardback
$168.16

This book demonstrates how to formally model various mathematical domains (including algorithms operating in these...  Read More >>

Fragments of First-Order Logic

Fragments of First-Order Logic

Author: Ian Pratt-Hartmann (Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole)
ISBN: 9780192867964
Format: Hardback
$267.95

Pratt-Hartmann considers for which fragments of first-order logic there is an effective method for determining satisfiability...  Read More >>

R-Calculus, IV: Propositional Logic

R-Calculus, IV: Propositional Logic

Author: Wei Li ,  Yuefei Sui
ISBN: 9789811986321
Format: Hardback
$388.10

This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider...  Read More >>

Artificial Intelligence Versus Natural Intelligence

Artificial Intelligence Versus Natural Intelligence...

Author: Roger Penrose ,  Emanuele Severino
ISBN: 9783030854829
Format: Paperback
$206.97

"This book centers around a dialogue between Roger Penrose and Emanuele Severino about one of most intriguing topics...  Read More >>

Latest Reading Guide

wl

Shopping Cart
Your cart is empty
Shopping cart
Mailing List