Mathematical logic books

5407 books were found.

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	$194.04
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
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
This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established... 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 >>

Logic, Methodology and Philosophy of Science and Technology. Bridging Across Academic Cultures. Proceedings of the Sixteenth International Congress in Prague

Logic, Methodology and Philosophy of Science and Technology....
Author: Tomás Marvan , Hanne Andersen ISBN: 9781848903685 Format: Paperback	$56.76
Read More >>

Matematica: logica, insiemi, funzioni e calcolo letterale

Matematica: logica, insiemi, funzioni e calcolo letterale...
Author: Simone Malacrida ISBN: 9798215787984 Format: Paperback	$18.45
Read More >>

Logica matematica

Logica matematica
Author: Simone Malacrida ISBN: 9798215989302 Format: Paperback	$15.81
In questo libro sono presentate tutte le sfaccettature della logica matematica quali: simbologia, principi e proprietà... Read More >>

Matematica: equazioni e disequazioni

Matematica: equazioni e disequazioni
Author: Simone Malacrida ISBN: 9798215530740 Format: Paperback	$15.81
In questo libro sono presentati i presupposti teorici dei seguenti argomenti matematici: equazioni e disequazioni... Read More >>

Investigations into the Predicate Calculus

Investigations into the Predicate Calculus
Author: Oiva Ketonen , Sara Negri ISBN: 9781848904071 Format: Paperback	$44.88
Oiva Ketonen (1913--2000) was the closest to a student the creator of modern proof theory Gerhard Gentzen ever had.... Read More >>

Logic - Language - Ontology: Selected Works

Logic - Language - Ontology: Selected Works
Author: Urszula B. Wybraniec-Skardowska ISBN: 9783031223297 Format: Hardback	$284.60
This collection of papers aims to unify the questions of syntax and semantics of language, which span across the... Read More >>

Cryptography and Network Security

Cryptography and Network Security
Author: Marcelo Sampaio de Alencar ISBN: 9788770224079 Format: Hardback	$252.00
This book provides a comprehensive introduction to the foundations of cryptography and network security. As well... Read More >>

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics

Logic and Implication: An Introduction to the General...
Author: Petr Cintula , Carles Noguera ISBN: 9783030856779 Format: Paperback	$284.60
This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical... Read More >>

Os 5500 Elementos

Os 5500 Elementos
Author: Denizard J�nior ISBN: 9786500573572 Format: Paperback	$65.55
1 Livro 1 Exerc�cio N�vel 2 da Cole��o Os Elementos Seguindo a sequ�ncia de exerc�cios Peculiares Os 5500 Elementos... Read More >>

Matematica: geometria piana e solida

Matematica: geometria piana e solida
Author: Simone Malacrida ISBN: 9798215203125 Format: Paperback	$15.81
In questo libro sono presentati i presupposti teorici dei seguenti argomenti matematici: geometria piana (concetti... Read More >>

A Comparison Process for Mouse Pairs

A Comparison Process for Mouse Pairs
Author: John R. Steel (University of California, Berkeley) ISBN: 9781108840682 Format: Hardback	$336.38
This book proves some important new theorems in the theory of canonical inner models for large cardinal hypotheses,... Read More >>

Page 12 of 217 ... 7 8 9 10 11 12 13 14 15 16 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now