Mathematical logic books

5333 books were found.

Introduction to Coding Theory

Introduction to Coding Theory

Author: Jurgen Bierbrauer (Michigan Technological University, Houghton, USA)
ISBN: 9781032477190
Format: Paperback
$92.99

This book is designed to be usable as a textbook for an undergraduate course or for an advanced graduate course...  Read More >>

Theories of Paradox in the Middle Ages

Theories of Paradox in the Middle Ages

Author: Stephen Read ,  Barbara Bartocci
ISBN: 9781848904262
Format: Paperback
$51.48

Paradoxes seized the attention of logicians in the middle ages, and were used both as tests for the viability of...  Read More >>

Logic in Question: Talks from the Annual Sorbonne Logic Workshop (2011- 2019)

Logic in Question: Talks from the Annual Sorbonne Logic...

Author: Jean-Yves Beziau ,  Jean-Pierre Descles
ISBN: 9783030944513
Format: Hardback
$475.17

This contributed volume collects papers related to the Logic in Question workshop, which has taken place annually...  Read More >>

A Lambda Calculus Satellite

A Lambda Calculus Satellite

Author: Henk Barendregt ,  Giulio Manzonetto
ISBN: 9781848904248
Format: Hardback
$118.80

 Read More >>

Das Boolesche Logik-Kalkül

Das Boolesche Logik-Kalkül

Author: George Boole
ISBN: 9783756890408
Format: Paperback
$52.54

Das Logik-Kalkül von Boole ist ein Formalismus, der von George Boole entwickelt wurde, um die Logik in algebraischer...  Read More >>

Logical Reasoning, Mathematics Skills, Verbal Puzzles: An IQ Primer for Your Career

Logical Reasoning, Mathematics Skills, Verbal Puzzles:...

Author: Zinet William
ISBN: 9798201099077
Format: Paperback
$39.57

 Read More >>

Introduction à la logique mathématique

Introduction à la logique mathématique

Author: Simone Malacrida
ISBN: 9798215395042
Format: Paperback
$15.81

Dans ce livre, toutes les facettes de la logique mathématique sont présentées telles que: la symbologie, les principes...  Read More >>

Introducción a la lógica matemática

Introducción a la lógica matemática

Author: Simone Malacrida
ISBN: 9798201495404
Format: Paperback
$15.81

En este libro se presentan todas las facetas de la lógica matemática, tales como: simbología, principios y propiedades...  Read More >>

Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics 2021

Model Validation and Uncertainty Quantification, Volume...

Author: Zhu Mao
ISBN: 9783030773502
Format: Paperback
$517.47

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

Logical Methods

Logical Methods

Author: Greg Restall ,  Shawn Standefer
ISBN: 9780262544849
Format: Paperback
$95.00

"""An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially...  Read More >>

The Logic of Knowledge Bases

The Logic of Knowledge Bases

Author: Hector Levesque ,  Gerhard Lakemeyer
ISBN: 9781848904200
Format: Paperback
$52.80

This book describes in detail the relationship between symbolic representations of knowledge and abstract states...  Read More >>

Prawitz's Epistemic Grounding: An Investigation into the Power of Deduction

Prawitz's Epistemic Grounding: An Investigation into...

Author: Antonio Piccolomini d’Aragona
ISBN: 9783031202933
Format: Hardback
$284.60

This book presents an in-depth and critical reconstruction of Prawitz’s epistemic grounding, and discusses it within...  Read More >>

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Simple Type Theory: A Practical Logic for Expressing...

Author: William M. Farmer
ISBN: 9783031211119
Format: Hardback
$139.00

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in...  Read More >>

Algebras, Lattices, Varieties: Volume III

Algebras, Lattices, Varieties: Volume III

Author: Ralph S. Freese ,  Ralph N. McKenzie
ISBN: 9781470467982
Format: Paperback
$211.20

The third of a three-volume set of books on the theory of algebras, a study that provides a consistent framework...  Read More >>

Algebras, Lattices, Varieties: Volume II

Algebras, Lattices, Varieties: Volume II

Author: Ralph S. Freese ,  Ralph N. McKenzie
ISBN: 9781470467975
Format: Paperback
$211.20

The second of a three-volume set of books on the theory of algebras, a study that provides a consistent framework...  Read More >>

Multi twisted codes over finite fields and their generalizations

Multi twisted codes over finite fields and their generalizations...

Author: Chauhan Varsha
ISBN: 9781805450948
Format: Paperback
$92.37

Nowadays error-correcting codes are widely used in communication systems, re-turning pictures from deep space, designing...  Read More >>

PCI Compliance: Understand and Implement Effective PCI Data Security Standard Compliance

PCI Compliance: Understand and Implement Effective PCI...

Author: Branden Williams (CISSP and CISM) ,  James Adamson
ISBN: 9780367570033
Format: Paperback
$90.99

CI DSS is now in its 18th year and it is continuing to dominate corporate security budgets and resources. If you...  Read More >>

Introductions to Set and Functions

Introductions to Set and Functions

Author: Simone Malacrida
ISBN: 9798215834787
Format: Paperback
$18.45

 Read More >>

PCI Compliance: Understand and Implement Effective PCI Data Security Standard Compliance

PCI Compliance: Understand and Implement Effective PCI...

Author: Branden Williams (CISSP and CISM) ,  James Adamson
ISBN: 9780367570026
Format: Hardback
$210.00

CI DSS is now in its 18th year and it is continuing to dominate corporate security budgets and resources. If you...  Read More >>

Introduction to Mathematical Logics

Introduction to Mathematical Logics

Author: Simone Malacrida
ISBN: 9798215004272
Format: Paperback
$15.81

In this book, all facets of mathematical logic are presented such as: symbology, principles and properties of elementary...  Read More >>

Logically Speaking. A Festschrift for Marie Duzí

Logically Speaking. A Festschrift for Marie Duzí

Author: Pavel Materna ,  Bjørn Jespersen
ISBN: 9781848904194
Format: Paperback
$56.76

 Read More >>

Hiroakira Ono on Substructural Logics

Hiroakira Ono on Substructural Logics

Author: Nikolaos Galatos ,  Kazushige Terui
ISBN: 9783030769222
Format: Paperback
$310.47

 Read More >>

Mental Math: A Quick and Easy Guide to Mental Math and Faster Calculation (Enhance Your Math Skills and Solve Everyday Math Problems Easily)

Mental Math: A Quick and Easy Guide to Mental Math and...

Author: Robert Potter
ISBN: 9781998769766
Format: Paperback
$52.67

Learn Tricks And Strategies To Solve Everyday Math Problems Easily Can You Quickly Calculate How Many Eggs You'll...  Read More >>

Wie Eltern ihren Kindern bei Mathe helfen können

Wie Eltern ihren Kindern bei Mathe helfen können

Author: Dieter Reinecker
ISBN: 9783756869176
Format: Paperback
$30.36

 Read More >>

Latest Reading Guide

wl

Shopping Cart
Your cart is empty
Shopping cart
Mailing List