Mathematical logic books

5407 books were found.

The Mathematics of Coordinated Inference: A Study of Generalized Hat Problems

The Mathematics of Coordinated Inference: A Study of...

Author: Christopher S. Hardin ,  Alan D. Taylor
ISBN: 9783319013329
Format: Hardback
$145.17

For example, there is a method of predicting the value f(a) of a function f mapping the reals to the reals, based...  Read More >>

The Real Numbers: An Introduction to Set Theory and Analysis

The Real Numbers: An Introduction to Set Theory and...

Author: John Stillwell
ISBN: 9783319015767
Format: Hardback
$93.12

While most texts on real analysis are content to assume the real numbers, or to treat them only briefly, this text...  Read More >>

Mechanical Logic in Three-Dimensional Space

Mechanical Logic in Three-Dimensional Space

Author: Gennaro Auletta (University of Cassino, Italy)
ISBN: 9789814411509
Format: Hardback
$297.56

The book explores how build a mechanical inferences by making use of arithmetic operations on a string of numbers...  Read More >>

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

Rethinking Logic: Logic in Relation to Mathematics,...

Author: Carlo Cellucci
ISBN: 9789400760905
Format: Hardback
$290.37

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome...  Read More >>

Simplicity Theory

Simplicity Theory

Author: Byunghan Kim (Professor of Mathematics, Professor of Mathematics, Department of Mathematics, Yonsei University, South Korea)
ISBN: 9780198567387
Format: Hardback
$248.00

An up-to-date account of the current techniques and results in Simplicity Theory, which has been a focus of research...  Read More >>

Reliability and Safety Analyses under Fuzziness

Reliability and Safety Analyses under Fuzziness

Author: Takehisa Onisawa
ISBN: 9783662129135
Format: Paperback
$336.35

This book provides a comprehensive, up-to-date account on recent applications of fuzzy sets and possibility theory...  Read More >>

Fuzzy Database Modeling

Fuzzy Database Modeling

Author: Adnan Yazici ,  Roy George
ISBN: 9783662118092
Format: Paperback
$284.60

Some recent fuzzy database modeling advances for the non-traditional applications are introduced in this book. the...  Read More >>

Logic for Concurrency and Synchronisation

Logic for Concurrency and Synchronisation

Author: R.J. De Queiroz
ISBN: 9789401740005
Format: Paperback
$290.37

The individual chapters of this book show the state of the art in current - vestigations of process calculi such...  Read More >>

Piton: A Mechanically Verified Assembly-Level Language

Piton: A Mechanically Verified Assembly-Level Language...

Author: J Strother Moore
ISBN: 9789401737913
Format: Paperback
$145.17

A subsequent fall would result in the climber hanging from the piton—if the piton stays in the rock, the slings...  Read More >>

Ω-Bibliography of Mathematical Logic: Recursion Theory

Ω-Bibliography of Mathematical Logic: Recursion Theory...

Author: Wolfgang Lenski ,  Peter G. Hinman
ISBN: 9783662090633
Format: Paperback
$145.17

Gert H. Muller The growth of the number of publications in almost all scientific areas,* as in the area of (mathematical)...  Read More >>

Ω-Bibliography of Mathematical Logic: Model Theory

Ω-Bibliography of Mathematical Logic: Model Theory

Author: Wolfgang Lenski ,  Heinz-Dieter Ebbinghaus
ISBN: 9783662090602
Format: Paperback
$145.17

Gert H. Muller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical)...  Read More >>

Amarts and Set Function Processes

Amarts and Set Function Processes

Author: Allan Gut ,  Klaus D. Schmidt
ISBN: 9783662135358
Format: Paperback
$121.44

 Read More >>

Fuzzy Logic and Intelligent Systems

Fuzzy Logic and Intelligent Systems

Author: Hua Harry Li ,  Madan M. Gupta
ISBN: 9789401737739
Format: Paperback
$448.77

One of the attractions of fuzzy logic is its utility in solving many real engineering problems. Fuzzy Logic...  Read More >>

Theory of Logical Calculi: Basic Theory of Consequence Operations

Theory of Logical Calculi: Basic Theory of Consequence...

Author: Ryszard Wójcicki
ISBN: 9789401569446
Format: Paperback
$871.17

The general aim of this book is to provide an elementary exposition of some basic concepts in terms of which both...  Read More >>

Grants for History: A Guide to Funding

Grants for History: A Guide to Funding

Author: John R Davis ,  Zoe M Holman
ISBN: 9781905165957
Format: Paperback
$66.00

 Read More >>

Mathematics, Computer Science and Logic - A Never Ending Story: The Bruno Buchberger Festschrift

Mathematics, Computer Science and Logic - A Never Ending...

Author: Peter Paule
ISBN: 9783319009650
Format: Hardback
$145.17

This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging...  Read More >>

Software Language Engineering: 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

Software Language Engineering: 6th International Conference,...

Author: Martin Erwig ,  Richard F. Paige
ISBN: 9783319026534
Format: Paperback
$116.41

This book constitutes the refereed proceedings of the 6th International Conference on Software Language Engineering,...  Read More >>

Argumentation et engagement ontologique

Argumentation et engagement ontologique

Author: Matthieu Fontaine
ISBN: 9781848901278
Format: Paperback
$33.64

 Read More >>

Eine mathematische Theorie der Sudokus

Eine mathematische Theorie der Sudokus

Author: Wolfram Jehne ,  Herbert Wingen
ISBN: 9783110306736
Format: Hardback
$374.85

Sudoku puzzles are known and loved throughout the world. Once they have been solved, completed Sudokus hardly merit...  Read More >>

Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Logic, Rationality, and Interaction: 4th International...

Author: Davide Grossi ,  Olivier Roy
ISBN: 9783642409479
Format: Paperback
$145.17

This book collects the papers presented at the 4th International Workshop on Logic, Rationality and Interaction/...  Read More >>

The Medieval Latin Translation of the Data of Euclid

The Medieval Latin Translation of the Data of Euclid...

Author: Shuntaro Ito
ISBN: 9781489949677
Format: Paperback
$145.17

 Read More >>

Language and Godels Theorem: A Revised Edition

Language and Godels Theorem: A Revised Edition

Author: Bradley S. Tice
ISBN: 9788792329110
Format: Paperback
$96.99

 Read More >>

Lattice Sums Then and Now

Lattice Sums Then and Now

Author: J. M. Borwein (University of Newcastle, New South Wales) ,  M. L. Glasser (Clarkson University, New York)
ISBN: 9781107039902
Format: Hardback
$333.79

For over a century lattice sums have been studied by mathematicians and scientists in diverse areas of science,...  Read More >>

Non-commutative Multiple-Valued Logic Algebras

Non-commutative Multiple-Valued Logic Algebras

Author: Lavinia Corina Ciungu
ISBN: 9783319015880
Format: Hardback
$145.17

Non-commutative Multiple-Valued Logic Algebras  Read More >>

Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List