Mathematical logic books

5407 books were found.

Philosophy and Fun of Algebra

Philosophy and Fun of Algebra
Author: Mary Everest Boole , Mary Everest Boole ISBN: 9781603861267 Format: Paperback	$20.99
An unabridged, digitally enlarged printing. Read More >>

Modal Logic: An Introduction to Its Syntax and Semantics

Modal Logic: An Introduction to Its Syntax and Semantics...
Author: Nino B Cocchiarella , Max A Freund ISBN: 9786611529383 Format: Electronic book text	$176.43
Read More >>

Advances in Modal Logic Volume 7

Advances in Modal Logic Volume 7
Author: Carlos Areces , Robert Goldblatt ISBN: 9781904987680 Format: Paperback	$38.81
Advances in Modal Logic is a unique international forum for presenting the latest results and new directions of... Read More >>

Lambda-Calculus and Combinators: An Introduction

Lambda-Calculus and Combinators: An Introduction
Author: J Roger Hindley , Jonathan P Seldin ISBN: 9786611751524 Format: Electronic book text	$359.04
Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools,... Read More >>

Computational Prospects Of Infinity - Part Ii: Presented Talks

Computational Prospects Of Infinity - Part Ii: Presented...
Author: Chi Tat Chong (Nus, S'pore) , Qi Feng (Chinese Academy Of Sciences, China) ISBN: 9789812796547 Format: Hardback	$330.21
Features a collection of written versions of the talks given at the Workshop on Computational Prospects of Infinity... Read More >>

Reelle Zahlen: Das Klassische Kontinuum Und Die Naturlichen Folgen

Reelle Zahlen: Das Klassische Kontinuum Und Die Naturlichen...
Author: Oliver Deiser ISBN: 9783540793755 Format: Paperback	$105.47
Der Autor untersucht die reellen Zahlen unter verschiedenen grundlagentheoretischen Gesichtspunkten und macht die... Read More >>

Computability: Computable Functions, Logic, and the Foundations of Mathematics

Computability: Computable Functions, Logic, and the...
Author: Richard L. Epstein , Walter A Carnielli ISBN: 9780981550725 Format: Hardback	$152.99
This classic presentation of the theory of computable functions includes discussions and readings about the crisis... Read More >>

Dynamic Fuzzy Logic & its Applications

Dynamic Fuzzy Logic & its Applications
Author: Fanzhang Li ISBN: 9781600214288 Format: Hardback	$340.56
Dynamic fuzzy problems are problems that are universally focused by academies. Mathematicians and cybernetic experts... Read More >>

Handbook of Molecular Force Spectroscopy

Handbook of Molecular Force Spectroscopy
Author: Seppo Sippu , Aleksandr Noy ISBN: 9780387517322 Format: Undefined	$65.87
This handbook presents a review of modern force spectroscopy, including fundamentals of intermolecular forces, technical... Read More >>

Decision Procedures

Decision Procedures
Author: Daniel Kroening , Ofer Strichman ISBN: 9783540848417 Format: Undefined	$65.87
<p>This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and... Read More >>

Completeness Theory for Propositional Logics

Completeness Theory for Propositional Logics
Author: Witold A Pogorzelski , Piotr Wojtylak ISBN: 9783764392376 Format: Undefined	$65.87
Develops the theory of one of the most important notions in the methodology of formal systems - completeness, which... Read More >>

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

Applied Proof Theory: Proof Interpretations and Their...
Author: Ulrich Kohlenbach ISBN: 9783540848820 Format: Undefined	$65.87
Offers a treatment of proof-theoretic transformations - known as proof interpretations - that focuses on applications... Read More >>

Applied Proof Theory: Proof Interpretations and their Use in Mathematics

Applied Proof Theory: Proof Interpretations and their...
Author: Ulrich Kohlenbach ISBN: 9783540775324 Format: Hardback	$261.36
Offers a treatment of proof-theoretic transformations - known as proof interpretations - that focuses on applications... Read More >>

Numerical Term Logic

Numerical Term Logic
Author: Lorne Szabolcsi , George Englebretsen ISBN: 9780773450271 Format: Hardback	$263.87
A work of numerical logic pioneer who died suddenly at age 28. Read More >>

Institution-independent Model Theory

Institution-independent Model Theory
Author: Razvan Diaconescu ISBN: 9783764387075 Format: Paperback	$287.76
A model theory that is independent of any concrete logical system allows a general handling of a large variety of... Read More >>

Field Arithmetic

Field Arithmetic
Author: Michael D. Fried , Moshe Jarden ISBN: 9783540772699 Format: Hardback	$578.16
Field Arithmetic explores Diophantine fields through their absolute Galois groups. Read More >>

Microsoft Log Parser Toolkit

Microsoft Log Parser Toolkit
Author: Gabriele Giuseppini , Mark Burnett ISBN: 9781281035837 Format: Electronic book text	$221.50
Read More >>

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Theory and Applications of Satisfiability Testing –...
Author: Hans Kleine Büning , Xishun Zhao ISBN: 9783540797180 Format: Paperback	$184.67
The series of International Conferences on Theory and Applications of S- is?ability Testing (SAT) has evolved from... Read More >>

Computational Prospects of Infinity: Part II: Presented Talks. Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, Volume 15.

Computational Prospects of Infinity: Part II: Presented...
Author: Chitat Chong , Qi Feng ISBN: 9786611955960 Format: Electronic book text	$850.08
This volume is a collection of written versions of the talks given at the Workshop on Computational Prospects of... Read More >>

Stable Domination and Independence in Algebraically Closed Valued Fields. Lecture Notes in Logic, Volume 30.

Stable Domination and Independence in Algebraically...
Author: Dierdre Haskell , Ehud Hrushovski (Hebrew University of Jerusalem) ISBN: 9781281156235 Format: Electronic book text	$438.24
Read More >>

Computational Complexity

Computational Complexity
Author: Oded Goldreich (Weizmann Institute of Science, Israel) ISBN: 9786612390319 Format: Electronic book text	$390.72
Complexity theory is a central field of the theoretical foundations of computer science. It is concerned with the... Read More >>

Institution-Independent Model Theory. Studies in Universal Logic.

Institution-Independent Model Theory. Studies in Universal...
Author: Razvan Diaconescu ISBN: 9786611862596 Format: Electronic book text	$522.72
A model theory that is independent of any concrete logical system allows a general handling of a large variety of... Read More >>

Concept Lattices and Their Applications: Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers

Concept Lattices and Their Applications: Fourth International...
Author: Sadok Ben Yahia , Engelbert Mephu Nguifo ISBN: 9783540789208 Format: Paperback	$184.67
The topics include formal concept analysis, foundations of FCA, mathematical structures related to FCA, relationship... Read More >>

Approaching Truth: Essays in Honour of Ilkka Niiniluoto

Approaching Truth: Essays in Honour of Ilkka Niiniluoto...
Author: Sami Pihlstrom , P. Raatikainen ISBN: 9781904987376 Format: Paperback	$45.28
Ilkka Niiniluoto, a distinguished philosopher of science, has been a tirelesspokesman for scientific realism and... Read More >>

Computational Prospects of Infinity: Part I Tutorials. Lecture Note Series, Institute for Mathematical Sciences, National University of Singapore, Volume 14.

Computational Prospects of Infinity: Part I Tutorials....
Author: Chitat Chong , Qi Feng ISBN: 9786611934347 Format: Electronic book text	$665.28
This volume presents the written versions of the tutorial lectures given at the Workshop on Computational Prospects... Read More >>

Page 157 of 217 ... 152 153 154 155 156 157 158 159 160 161 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now