Mathematical logic books

5407 books were found.

Advances in Temporal Logic

Advances in Temporal Logic
Author: Howard Barringer , Michael Fisher ISBN: 9780792361497 Format: Hardback	$683.76
modelling temporal phenomena, in terval temporal calculi, temporal nonmonotonicity, interaction of temporal reasoning... Read More >>

Algebraic Foundations of Many-Valued Reasoning

Algebraic Foundations of Many-Valued Reasoning
Author: R.L. Cignoli , Itala M. d'Ottaviano ISBN: 9780792360094 Format: Hardback	$446.16
States and proves various theorems of many-valued propositional logic. This text provides developments and trends,... Read More >>

Design Considerations of Time in Fuzzy Systems

Design Considerations of Time in Fuzzy Systems
Author: J. Virant ISBN: 9780792361008 Format: Hardback	$657.36
Fuzzy theory is an interesting name for a method that has been highly effective in a wide variety of significant,... Read More >>

The Knots Puzzle Book

The Knots Puzzle Book
Author: Heather McLeay , H McLeay ISBN: 9781559530002 Format: Paperback	$19.75
Read More >>

From Peirce to Skolem

From Peirce to Skolem
Author: Geraldine Brady ISBN: 9781281047199 Format: Electronic book text	$712.80
This book is an account of the important influence on the development of mathematical logic of Charles S. Peirce... Read More >>

Computable Structures and the Hyperarithmetical Hierarchy

Computable Structures and the Hyperarithmetical Hierarchy...
Author: C J Ash , J Knight ISBN: 9781281071019 Format: Undefined	$554.40
This book describes a program of research in computable structure theory. The goal is to find definability conditions... Read More >>

Atlas of the Smaller Maps in Orientable and Nonorientable Surfaces

Atlas of the Smaller Maps in Orientable and Nonorientable...
Author: David Jackson (University of Waterloo, Waterloo, Ontario, Canada) , Terry I Visentin (University of Winnipeg, Canada) ISBN: 9781280507342 Format: Undefined	$422.27
Maps are beguilingly simple structures with deep and ubiquitous properties. They arise in an essential way in many... Read More >>

Quantum Theoretic Machines

Quantum Theoretic Machines
Author: August Stern , A Stern ISBN: 9781281047571 Format: Electronic book text	$792.00
Making Sense of Inner Sense 'Terra cognita' is terra incognita. It is difficult to find someone not taken abackand... Read More >>

Cafe: An Industrial-Strength Algebraic Formal Method

Cafe: An Industrial-Strength Algebraic Formal Method...
Author: K Futatsugi , A T Nakagawa ISBN: 9781281059673 Format: Undefined	$370.66
This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of... Read More >>

A Short Introduction to Intuitionistic Logic

A Short Introduction to Intuitionistic Logic
Author: Grigori Mints (Stanford University) ISBN: 9781280205507 Format: Undefined	$211.07
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of... Read More >>

Collected Works of Larry Wos, The: (In 2 Volumes)Volume I: Exploring the Power of Automated Reasoningvolume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions

Collected Works of Larry Wos, The: (In 2 Volumes)Volume...
Author: Larry Wos , Gail W Pieper ISBN: 9781306000130 Format: Electronic book text	$971.52
Read More >>

Descriptive Set Theory and Dynamical Systems

Descriptive Set Theory and Dynamical Systems
Author: M Foreman (University of California, Irvine) , A S Kechris (California Institute of Technology) ISBN: 9781306148597 Format: Electronic book text	$330.00
In recent years there has been a growing interest in the interactions between descriptive set theory and various... Read More >>

From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931

From Frege to Godel: A Source Book in Mathematical Logic,...
Author: van Heijenoort, Jean ISBN: 9781583485972 Format: Paperback	$86.99
Read More >>

Moment of Proof: Mathematical Epiphanies, the

Moment of Proof: Mathematical Epiphanies, the
Author: Donald C Benson ISBN: 9786610834808 Format: Electronic book text	$78.28
Read More >>

Provability, Computability and Reflection

Provability, Computability and Reflection
Author: Lev D Beklemishev ISBN: 9781283525459 Format: Undefined	$871.20
Provability, Computability and Reflection Read More >>

Provability, Computability and Reflection

Provability, Computability and Reflection
Author: Lev D Beklemishev ISBN: 9781283525312 Format: Undefined	$871.20
Provability, Computability and Reflection Read More >>

Provability, Computability and Reflection

Provability, Computability and Reflection
Author: Lev D Beklemishev ISBN: 9781283525411 Format: Undefined	$871.20
Provability, Computability and Reflection Read More >>

Provability, Computability and Reflection

Provability, Computability and Reflection
Author: Lev D Beklemishev ISBN: 9781283525275 Format: Undefined	$871.20
Provability, Computability and Reflection Read More >>

Provability, Computability and Reflection

Provability, Computability and Reflection
Author: Lev D Beklemishev ISBN: 9781283526005 Format: Undefined	$871.20
Provability, Computability and Reflection Read More >>

Logic Colloquium '87

Logic Colloquium '87
Author: H -D Ebbinghaus , J Fernandez-Prida ISBN: 9781282711198 Format: Electronic book text	$554.40
Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected... Read More >>

Provability, Computability and Reflection

Provability, Computability and Reflection
Author: Lev Beklemishev ISBN: 9781282309142 Format: Undefined	$871.20
Provability, Computability and Reflection Read More >>

Provability, Computability and Reflection

Provability, Computability and Reflection
Author: Lev D Beklemishev ISBN: 9781283525466 Format: Undefined	$871.20
Provability, Computability and Reflection Read More >>

Provability, Computability and Reflection

Provability, Computability and Reflection
Author: Lev D Beklemishev ISBN: 9781283525442 Format: Undefined	$871.20
Provability, Computability and Reflection Read More >>

Provability, Computability and Reflection

Provability, Computability and Reflection
Author: Lev D Beklemishev ISBN: 9781283525282 Format: Undefined	$871.20
Provability, Computability and Reflection Read More >>

Provability, Computability and Reflection

Provability, Computability and Reflection
Author: Lev D Beklemishev ISBN: 9781283525435 Format: Undefined	$871.20
Provability, Computability and Reflection Read More >>

Page 187 of 217 ... 182 183 184 185 186 187 188 189 190 191 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now