Mathematical logic books

5407 books were found.

Godel's Theorem in Focus

Godel's Theorem in Focus

Author: S G Shanker
ISBN: 9781280106118
Format: Electronic book text
$259.62

A layman's guide to the mechanics of Godel's proof together with a lucid discussion of the issues which it raises....  Read More >>

The Art of Problem Posing Second Edition

The Art of Problem Posing Second Edition

Author: Stephen I Brown ,  Marion I Walter
ISBN: 9781283838214
Format: Electronic book text
$198.00

 Read More >>

Godel's Proof

Godel's Proof

Author: Ernest Nagel ,  James R Newman
ISBN: 9781283884761
Format: Electronic book text
$166.19

Best-selling book that challenges basic assumptions of logic  Read More >>

Symbolic Logic

Symbolic Logic

Author: David Agler
ISBN: 9781299140059
Format: Electronic book text
$171.57

 Read More >>

Causality, Probability, and Time

Causality, Probability, and Time

Author: Dr Samantha Kleinberg (Stevens Institute of Technology, New Jersey)
ISBN: 9781283942980
Format: Undefined
$330.00

Causality is a key part of many fields and facets of life, from finding the relationship between diet and disease...  Read More >>

Colt Proceedings 1990

Colt Proceedings 1990

Author:
ISBN: 9781299196551
Format: Electronic book text
$101.22

COLT '90 covers the proceedings of the Third Annual Workshop on Computational Learning Theory, sponsored by the...  Read More >>

In Pursuit of the Unknown: 17 Equations That Changed the World

In Pursuit of the Unknown: 17 Equations That Changed...

Author: Ian Stewart
ISBN: 9781281961334
Format: Electronic book text
$71.25

 Read More >>

Introduction to Symbolic Logic and Its Applications

Introduction to Symbolic Logic and Its Applications...

Author: Rudolf Carnap
ISBN: 9781306452984
Format: Undefined
$39.47

A clear, comprehensive, and rigorous treatment develops the subject from elementary concepts to the construction...  Read More >>

Symbolic Logic and the Binomial Expansion: Two Math Projects

Symbolic Logic and the Binomial Expansion: Two Math...

Author: Richard Forringer
ISBN: 9781935991373
Format: Paperback
$34.29

While Symbolic Logic and the Binomial Expansion are subjects that are often mentioned in High School and College...  Read More >>

Foundations of Constructive Mathematics: Metamathematical Studies

Foundations of Constructive Mathematics: Metamathematical...

Author: M.J. Beeson
ISBN: 9783642689543
Format: Paperback
$369.57

This book is about some recent work in a subject usually considered part of ""logic"" and the"" foundations of mathematics"",...  Read More >>

Proofs and Computations

Proofs and Computations

Author: Helmut Schwichtenberg (Ludwig-Maximilians-Universität Munchen) ,  Stanley S. Wainer (University of Leeds)
ISBN: 9781139031905
Format: Undefined
$435.60

Written by acknowledged experts, for advanced students and researchers in mathematical logic and computer science,...  Read More >>

RC4 Stream Cipher and Its Variants

RC4 Stream Cipher and Its Variants

Author: Goutam Paul ,  Subhamoy Maitra
ISBN: 9781439831359
Format: Hardback
$368.00

RC4 Stream Cipher and Its Variants is the first book to fully cover the popular software stream cipher RC4. With...  Read More >>

Teoria Algebrica Dei Meccanismi Automatici

Teoria Algebrica Dei Meccanismi Automatici

Author: R Righi
ISBN: 9786613448439
Format: Electronic book text
$221.60

H. Soubies-Camy: L alg bre logique appliqu e aux techniques binaires, I parte: lezioni.- H. Soubies-Camy: L alg...  Read More >>

Grammars for Language and Genes: Theoretical and Empirical Investigations

Grammars for Language and Genes: Theoretical and Empirical...

Author: David Chiang
ISBN: 9786613449474
Format: Electronic book text
$313.63

This book explores a framework for carrying out rigorous comparisons of grammar formalisms in terms of their usefulness...  Read More >>

Combinatorial Set Theory: With a Gentle Introduction to Forcing

Combinatorial Set Theory: With a Gentle Introduction...

Author: Lorenz J Halbeisen
ISBN: 9786613444455
Format: Electronic book text
$392.83

This introduction to modern set theory opens the way to advanced current research. Coverage includes the axiom of...  Read More >>

Truth and Falsehood: An Inquiry Into Generalized Logical Values

Truth and Falsehood: An Inquiry Into Generalized Logical...

Author: Yaroslav Shramko ,  Heinrich Wansing
ISBN: 9786613453242
Format: Electronic book text
$440.35

Here is a thoroughly elaborated logical theory of generalized truth-values, presenting the idea of a trilattice...  Read More >>

A Proof Theory for Description Logics

A Proof Theory for Description Logics

Author:
ISBN: 9781280793066
Format: Electronic book text
$158.27

Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with...  Read More >>

Formal Languages in Logic

Formal Languages in Logic

Author: Dr Catarina Dutilh Novaes (Universiteit van Amsterdam)
ISBN: 9781283812467
Format: Undefined
$330.00

Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of...  Read More >>

Analysis of Rare Categories

Analysis of Rare Categories

Author:
ISBN: 9781280396366
Format: Undefined
$340.56

In many real-world problems, rare categories (minority classes) play essential roles despite their extreme scarcity....  Read More >>

Combinatorial Set Theory: With a Gentle Introduction to Forcing

Combinatorial Set Theory: With a Gentle Introduction...

Author: Lorenz J Halbeisen
ISBN: 9781283444453
Format: Electronic book text
$327.36

This introduction to modern set theory opens the way to advanced current research. Coverage includes the axiom of...  Read More >>

Teoria Algebrica Dei Meccanismi Automatici: Lectures Given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held in Varenna (Como), Italy, August 20-29, 1959

Teoria Algebrica Dei Meccanismi Automatici: Lectures...

Author: R Righi
ISBN: 9781283448437
Format: Undefined
$131.87

H. Soubies-Camy: Lalgebre logique appliquee aux techniques binaires, I parte: lezioni.- H. Soubies-Camy: Lalgebre...  Read More >>

Modern Applications of Automata Theory

Modern Applications of Automata Theory

Author:
ISBN: 9781283593564
Format: Electronic book text
$549.12

 Read More >>

Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List