Mathematical logic books

5384 books were found.

Elementare Berechenbarkeitstheorie

Elementare Berechenbarkeitstheorie
Author: Einar Smith ISBN: 9783540606673 Format: Paperback	$79.07
Das Buch führt in leicht verständlicher und dennoch präziser Form in die Grundlagen der Berechenbarkeitstheorie... Read More >>

Collegium Logicum

Collegium Logicum
Author: Kurt Godel Gesellschaft ISBN: 9783211827963 Format: Paperback	$158.27
Read More >>

Definability and Computability

Definability and Computability
Author: Yuri L. Ershov ISBN: 9780306110399 Format: Hardback	$683.76
Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the... Read More >>

Fuzzy Expert System Tools

Fuzzy Expert System Tools
Author: Moti Schneider (Florida Tech and Tel-Aviv University, Israel) , Gideon Langholz (Tel-Aviv University, Israel) ISBN: 9780471958673 Format: Hardback	$460.95
Fuzzy set theory is a mathematical structure for representing uncertainty. Modern intelligent systems must combine... Read More >>

Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings

Theorem Proving with Analytic Tableaux and Related Methods:...
Author: Pierangelo Miglioli , Ugo Moscato ISBN: 9783540612087 Format: Paperback	$197.87
This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related... Read More >>

Machine Intelligence 14: Applied Machine Intelligence

Machine Intelligence 14: Applied Machine Intelligence...
Author: K. Furukawa (Professor, Professor, Keio University, Tokyo) , D. Michie (Emeritus Professor, Emeritus Professor, University of Edinburgh) ISBN: 9780198538608 Format: Hardback	$178.95
This 14th volume of the classic series on machine intelligence contains papers on complex decision taking, inductive... Read More >>

Cardinal Invariants on Boolean Algebras

Cardinal Invariants on Boolean Algebras
Author: Donald Monk ISBN: 9783764354022 Format: Hardback	$211.07
This work is concerned with cardinal number valued functions defined for any Boolean algebra. It is based on ""Cardinal... Read More >>

Quantifiers, Deduction, and Context

Quantifiers, Deduction, and Context
Author: Makoto Kanazawa (Chiba University, Japan) , Christopher Piqsn (Stanford University, California) ISBN: 9781575860046 Format: Paperback	$41.95
Read More >>

Quantifiers, Deduction, and Context

Quantifiers, Deduction, and Context
Author: Makoto Kanazawa (Chiba University, Japan) , Christopher Piqsn (Stanford University, California) ISBN: 9781575860053 Format: Hardback	$131.87
Read More >>

Riemanns Einfuhrung in Die Funktionentheorie: Eine Quellenkritische Edition Seiner Vorlesungen Mit Einer Bibliographie Zur Wirkungsgeschichte Der Riemannschen Funktionentheorie

Riemanns Einfuhrung in Die Funktionentheorie: Eine Quellenkritische...
Author: Erwin Neuenschwander ISBN: 9783525821213 Format: Paperback	$277.20
Read More >>

The Logic of Reliable Inquiry

The Logic of Reliable Inquiry
Author: Kevin T. Kelly (Associate Professor, Department of Philosophy, Associate Professor, Department of Philosophy, Carnegie Mellon University) ISBN: 9780195091953 Format: Hardback	$215.95
An illustrated textbook which shows how to find answers to questions such as whether standard methodological recommendations... Read More >>

Logical Frameworks for Truth and Abstraction: An Axiomatic Study. Studies in Logic and the Foundations of Mathematics, Volume 135

Logical Frameworks for Truth and Abstraction: An Axiomatic...
Author: A Cantini , S Abramsky ISBN: 9786611119966 Format: Electronic book text	$897.60
This English translation of the author's original work has been thoroughly revised, expanded and updated. The book... Read More >>

Discovering Modern Set Theory, Part 1: The Basics

Discovering Modern Set Theory, Part 1: The Basics
Author: American Mathematical Society , Martin Weese ISBN: 9780821802663 Format: Hardback	$174.90
Read More >>

Inversions

Inversions
Author: Scott Kim ISBN: 9781559532808 Format: Paperback	$39.47
"Word Designs Demonstrate Symmetry Introduce your students to the basic concepts of symmetry with more than 60 mind-boggling... Read More >>

Conditionals: From Philosophy to Computer Science

Conditionals: From Philosophy to Computer Science
Author: G. Crocco , Luis Fariñas del Cerro ISBN: 9780198538615 Format: Hardback	$122.95
Internationally recognized logicians present current thinking on the understanding of the role of deduction in human... Read More >>

Handbook of Logic and Language

Handbook of Logic and Language
Author: J Van Benthem , A Ter Meulen ISBN: 9781281055187 Format: Electronic book text	$696.96
This Handbook documents the main trends in current research between logic and language, including its broader influence... Read More >>

Logical Frameworks for Truth and Abstraction

Logical Frameworks for Truth and Abstraction
Author: A Cantini , Professor of Computing Science S Abramsky (University of Oxford) ISBN: 9781281119964 Format: Electronic book text	$570.24
This English translation of the author's original work has been thoroughly revised, expanded and updated.The book... Read More >>

Computability, Enumerability, Unsolvability

Computability, Enumerability, Unsolvability
Author: S B Cooper (University of Leeds) , T A Slaman (University of Chicago) ISBN: 9781299404946 Format: Undefined	$330.00
Read More >>

Computational Analysis Of One-dimensional Cellular Automata

Computational Analysis Of One-dimensional Cellular Automata...
Author: Burton Voorhees (Athabasca Univ, Canada) ISBN: 9789810222215 Format: Hardback	$211.20
Read More >>

Geometric Stability Theory. Oxford Logic Guides, Volume 32.

Geometric Stability Theory. Oxford Logic Guides, Volume...
Author: Anand Pillay ISBN: 9786610903177 Format: Electronic book text	$513.77
This book is an exposition of the central features of one of the most developed and sophisticated parts of modern... Read More >>

Computational Analysis of One-Dimensional Cellular Automata. World Scientific Series on Nonlinear Science: Series A; Monographs and Treatises, Volume 15.

Computational Analysis of One-Dimensional Cellular Automata....
Author: Burton H Voorhees ISBN: 9786611948269 Format: Electronic book text	$406.56
Cellular automata provide an interesting avenue into the study of complex systems in general, as well as having... Read More >>

Computational Analysis of One-Dimensional Cellular Automata. World Scientific Series on Nonlinear Science: Series A; Monographs and Treatises, Volume 15.

Computational Analysis of One-Dimensional Cellular Automata....
Author: Burton H Voorhees ISBN: 9781281948267 Format: Electronic book text	$203.28
Read More >>

Categorical Structure of Closure Operators: With Applications to Topology, Algebra and Discrete Mathematics

Categorical Structure of Closure Operators: With Applications...
Author: D. Dikranjan , Walter Tholen ISBN: 9780792337720 Format: Hardback	$366.96
In spite of the fact that closure operators generalize the uni versal closure operations of abelian category theory... Read More >>

Logic Colloquium 92

Logic Colloquium 92
Author: Laszlo Czirmaz (Mathematical Institute of the Hungarian Academy of Sciences) , Dov M. Gabbay (Imperial College of Science, Technology and Medicine, London) ISBN: 9781881526988 Format: Paperback	$68.64
Read More >>

Logic and Visual Information

Logic and Visual Information
Author: Eric Hammer ISBN: 9781881526995 Format: Paperback	$66.00
Read More >>

Page 195 of 216 ... 190 191 192 193 194 195 196 197 198 199 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now