Mathematical logic books

5384 books were found.

Information, Randomness & Incompleteness

Information, Randomness & Incompleteness
Author: Chaitin Gregory J , Gregory J Chaitin ISBN: 9781299280786 Format: Electronic book text	$501.60
The papers gathered in this book were published over a period of more than twenty years in widely scattered journals.... Read More >>

Regularization for Applied Inverse and Ill-Posed Problems

Regularization for Applied Inverse and Ill-Posed Problems...
Author: Bernd Hofmann ISBN: 9783322003416 Format: Hardback	$184.67
Read More >>

Theories for Admissable Sets: Unifying Approach to Proof Theory

Theories for Admissable Sets: Unifying Approach to Proof...
Author: Gerhard Jager ISBN: 9788870881493 Format: Undefined	$92.40
Read More >>

An Outline of Set Theory

An Outline of Set Theory
Author: James M. Henle ISBN: 9780387963686 Format: Paperback	$145.17
While the em phasis is on the student, the instructor is available at every stage to assure success in the research,... Read More >>

Algebraic Approaches to Program Semantics

Algebraic Approaches to Program Semantics
Author: Ernest G Manes (University of Massachusetts Amherst) , Michael A Arbib (University of Southern California) ISBN: 9780387963242 Format: Hardback	$290.40
In the 1930s, mathematical logicians studied the notion of ""effective comput ability"" using such notions as recursive... Read More >>

8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings

8th International Conference on Automated Deduction:...
Author: Jörg H. Siekmann , Jarg H Siekmann ISBN: 9783540167808 Format: Paperback	$197.87
Read More >>

Automata, Languages and Programming: 13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings

Automata, Languages and Programming: 13th International...
Author: Laurent Kott ISBN: 9783540167617 Format: Paperback	$131.87
Read More >>

The Enumerative Theory of Conics after Halphen

The Enumerative Theory of Conics after Halphen
Author: Eduardo Casas-Alvero , Sebastian Xambo-Descamps ISBN: 9783540164951 Format: Paperback	$68.64
Read More >>

Varieties of Formal Languages: Foundations of Computer Science

Varieties of Formal Languages: Foundations of Computer...
Author: J.E. Pin (CNRS Paris, France) ISBN: 9780306422942 Format: Hardback	$302.28
Read More >>

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Kurt Gödel: Collected Works: Volume I: Publications...
Author: Kurt Gödel , S. Feferman (Professor of Mathematics, Professor of Mathematics, Stanford University, USA) ISBN: 9780195039641 Format: Hardback	$303.95
This is the first volume of a comprehensive edition of the works of Kurt Godel, the most outstanding logician of... Read More >>

Euclides Vindicatus

Euclides Vindicatus
Author: Girolamo Saccheri ISBN: 9780828402897 Format: Hardback	$116.60
Read More >>

Einführung in die Mathematische Logik und Modelltheorie

Einführung in die Mathematische Logik und Modelltheorie...
Author: Alexander Prestel , A Prestel ISBN: 9783528072605 Format: Paperback	$118.77
Ein wesentliches Ziel dieses Buches ist, Studenten des Hauptstudiums und interessierten Mathematikern die Möglichkeit... Read More >>

To Infinity and beyond : Cultural History of the INF

To Infinity and beyond : Cultural History of the INF...
Author: E Maor ISBN: 9780817633257 Format: Hardback	$237.47
The infinite! No other question has ever moved so profoundly the spirit of man; no other idea has so fruitfully... Read More >>

Kurt Gdel Collected Works: Volume I: Publications 1929-1936

Kurt Gdel Collected Works: Volume I: Publications 1929-1936...
Author: Kurt Godel , Solomon Feferman ISBN: 9786610559848 Format: Electronic book text	$174.45
Read More >>

Georg Cantor 1845 1918

Georg Cantor 1845 1918
Author: Walter Purkert , Hans J Ilgauds ISBN: 9783764317706 Format: Hardback	$216.35
Das Unendliche hat wie keine andere Frage von jeher so tief das Gemut der Menschen bewegt, das Unendliche hat wie... Read More >>

STACS 86: 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986

STACS 86: 3rd Annual Symposium on Theoretical Aspects...
Author: B. Monien , G. Vidal-Naquet ISBN: 9783540160786 Format: Paperback	$118.67
Read More >>

The Book of L

The Book of L
Author: G. Rozenberg , A. Salomaa ISBN: 9783540160229 Format: Hardback	$158.27
As evident from the articles and references in this book, the in terest in L systems is continuously growing. For... Read More >>

Semirings, Automata, Languages

Semirings, Automata, Languages
Author: Werner Kuich , A. Salomaa ISBN: 9783540137160 Format: Hardback	$306.24
Indeed, automata theory and the closely related theory of formal languages form nowadays such a highly developed... Read More >>

Der Satz vom ausgeschlossenen Dritten: Untersuchungen über die Grundlagen der Logik

Der Satz vom ausgeschlossenen Dritten: Untersuchungen...
Author: Franz von Kutschera ISBN: 9783110102543 Format: Hardback	$248.73
Keine ausführliche Beschreibung für ""Der Satz vom ausgeschlossenen Dritten"" verfügbar. Read More >>

An Introduction to the Theory of Surreal Numbers

An Introduction to the Theory of Surreal Numbers
Author: Harry Gonshor ISBN: 9781299403970 Format: Undefined	$330.00
These notes provide a formal introduction to the theory of surreal numbers in a clear and lucid style. Read More >>

Elements of Logic and Foundations of Mathematics in Problems

Elements of Logic and Foundations of Mathematics in...
Author: Wiktor Marek , Janusz Onyszkiewicz ISBN: 9789027721310 Format: Paperback	$224.27
Read More >>

Algebraic Logic

Algebraic Logic
Author: Semen G. Gindikin , R.H. Silverman ISBN: 9780387961798 Format: Hardback	$261.36
The large number of popular books on logic has given rise to the hope that by applying mathematical logic, students... Read More >>

EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 2: Research Contributions

EUROCAL '85. European Conference on Computer Algebra....
Author: Bob F. Caviness ISBN: 9783540159841 Format: Paperback	$269.28
Read More >>

EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 1: Invited Lectures

EUROCAL '85. European Conference on Computer Algebra....
Author: Bruno Buchberger ISBN: 9783540159834 Format: Paperback	$139.79
Read More >>

Self-Reference and Modal Logic

Self-Reference and Modal Logic
Author: Craig Smorynski , Craig Smorynski ISBN: 9780387962092 Format: Paperback	$189.95
It is Sunday, the 7th of September 1930. The place is Konigsberg and the occasion is a small conference on the foundations... Read More >>

Page 207 of 216 ... 202 203 204 205 206 207 208 209 210 211 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now