Mathematical logic books

5384 books were found.

Word Equations and Related Topics: 1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings

Word Equations and Related Topics: 1st International...
Author: Klaus U. Schulz ISBN: 9783540551249 Format: Paperback	$171.47
This volume contains papers presented at the firstinternational workshop onword equations and related topicsheld... Read More >>

Proof, Logic and Formalization

Proof, Logic and Formalization
Author: Michael Detlefsen ISBN: 9780415023351 Format: Hardback	$305.00
Read More >>

Einführung in die klassische und intensionale Logik

Einführung in die klassische und intensionale Logik...
Author: Ulf Friedrichsdorf ISBN: 9783528064891 Format: Paperback	$197.97
Read More >>

Proof and Knowledge in Mathematics

Proof and Knowledge in Mathematics
Author: Michael Detlefsen ISBN: 9780415068055 Format: Hardback	$305.00
Read More >>

Formalisieren und Beweisen: Logik für Informatiker

Formalisieren und Beweisen: Logik für Informatiker
Author: Dirk Siefkes ISBN: 9783528147570 Format: Paperback	$197.97
Read More >>

Proof and Knowledge in Mathematics

Proof and Knowledge in Mathematics
Author: ISBN: 9781280138232 Format: Electronic book text	$443.52
This volume of essays tackles the main problem that arises when considering an epistemology for mathematics, the... Read More >>

A Study of Logics

A Study of Logics
Author: John P. Cleave (Reader in Mathematics (retired), Reader in Mathematics (retired), University of Bristol) ISBN: 9780198532118 Format: Hardback	$291.95
Read More >>

Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings

Formal Techniques in Real-Time and Fault-Tolerant Systems:...
Author: Jan Vytopil ISBN: 9783540550921 Format: Paperback	$269.28
Read More >>

Logic from Computer Science: Proceedings of a Workshop Held November 13-17, 1989

Logic from Computer Science: Proceedings of a Workshop...
Author: Yiannis N Moschovakis ISBN: 9780387976679 Format: Hardback	$300.96
Read More >>

Logic Problems for Drill and Review

Logic Problems for Drill and Review
Author: James Hall ISBN: 9780819183798 Format: Paperback	$78.95
"This book consists of 220 logic problems on which students can practice their beginner's logic skills. At least... Read More >>

Recursive Functionals

Recursive Functionals
Author: Luis E Sanchis , L E Sanchis ISBN: 9781281778833 Format: Electronic book text	$231.11
This work is a self-contained elementary exposition of the theory of recursive functionals, that also includes a... Read More >>

Godel's Incompleteness Theorems. Oxford Logic Guides

Godel's Incompleteness Theorems. Oxford Logic Guides...
Author: Professor of Philosophy Raymond M Smullyan (Indiana University) ISBN: 9781280439827 Format: Electronic book text	$443.70
Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability,... Read More >>

Proof, Logic and Formalization

Proof, Logic and Formalization
Author: Michael Detlefsen ISBN: 9781280109867 Format: Electronic book text	$443.52
A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence... Read More >>

Information-Theoretic Incompleteness

Information-Theoretic Incompleteness
Author: Gregory J Chaitin ISBN: 9781299669482 Format: Electronic book text	$337.92
In this mathematical autobiography, Gregory Chaitin presents a technical survey of his work and a nontechnical discussion... Read More >>

Algebraic Structures in Automata and Database Theory

Algebraic Structures in Automata and Database Theory...
Author: L Ja Greenglaz , B I Plotkin ISBN: 9781299670969 Format: Electronic book text	$337.92
The book is devoted to the investigation of algebraic structure.... Read More >>

Attribute Grammars, Applications and Systems: International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991. Proceedings

Attribute Grammars, Applications and Systems: International...
Author: Henk Alblas , Borivoj Melichar ISBN: 9783540545729 Format: Paperback	$224.40
Attribute grammars have shown themselves to be a usefulformalism for specifying the syntax and the static... Read More >>

Godel's Theorems: A Workbook on Formalization

Godel's Theorems: A Workbook on Formalization
Author: Verene Huber-Dyson ISBN: 9783815420232 Format: Hardback	$184.77
Summaries in English, French, German, and Russian. Read More >>

Briefe

Briefe
Author: G. Cantor , H.V. Meschkowski ISBN: 9783540506218 Format: Hardback	$353.63
""Mit 40 Seiten Faksimiles und einem Bildanhang."" Read More >>

Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

Computer-Aided Verification: 2nd Internatonal Conference,...
Author: Edmund M. Clarke, Jr. , Robert P. Kurshan ISBN: 9783540544777 Format: Paperback	$166.19
This volume contains the proceedings of the second workshopon Computer Aided Verification, held at DIMACS, RutgersUniversity,... Read More >>

Code Recognition and Set Selection with Neural Networks

Code Recognition and Set Selection with Neural Networks...
Author: C Jeffries , Clark Jeffries ISBN: 9780817635855 Format: Hardback	$237.47
In mathematics there are limits, speed limits of a sort, on how many computational steps are required to solve certain... Read More >>

Foundations without Foundationalism: A Case for Second-Order Logic

Foundations without Foundationalism: A Case for Second-Order...
Author: Stewart Shapiro (Professor of Philosophy, Professor of Philosophy, Ohio State University) ISBN: 9780198533917 Format: Hardback	$258.95
Read More >>

Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings

Computer Science Logic: 4th Workshop, CSL '90, Heidelberg,...
Author: Egon Börger , Hans Kleine Büning ISBN: 9783540544876 Format: Paperback	$189.95
This volume contains 24 papers presented at a workshop held in Heidelberg in October 1990. The papers cover a range... Read More >>

Foundations of Module and Ring Theory

Foundations of Module and Ring Theory
Author: Robert Wisbauer ISBN: 9782881248054 Format: Hardback	$1069.07
Read More >>

Informatik Und Mathematik

Informatik Und Mathematik
Author: Manfred Broy ISBN: 9783540541080 Format: Hardback	$284.99
Papers at a colloquium held at the Bayerische Akademie der Wissenschaften, June 12-14, 1989, in honor of Friedrich... Read More >>

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings

Programming Language Implementation and Logic Programming:...
Author: Jan Maluszynski , Martin Wirsing ISBN: 9783540544449 Format: Paperback	$179.39
This volume contains invited and selected papers presented at the symposium PLILP '91. The aim of the symposium... Read More >>

Page 202 of 216 ... 197 198 199 200 201 202 203 204 205 206 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now