Mathematical logic books

5384 books were found.

Theory of Mathematical Structures

Theory of Mathematical Structures
Author: Jirí Adámek ISBN: 9789027714596 Format: Hardback	$462.00
Read More >>

The Logic of Quantum Mechanics

The Logic of Quantum Mechanics
Author: Enrico G Beltrametti (University of Genoa) , Gianni Cassinelli ISBN: 9781299749191 Format: Undefined	$330.00
This volume examines the logic, theory and mathematics of quantum mechanics in a clear and thorough way. Read More >>

Algorithmische Sprache Und Programmentwicklung

Algorithmische Sprache Und Programmentwicklung
Author: H Partsch , Friedrich L Bauer ISBN: 9783540129622 Format: Hardback	$158.27
Read More >>

Orders: Description and Roles. Annals of Discrete Mathematics, North-Holland Mathematics Studies, Volume 23.

Orders: Description and Roles. Annals of Discrete Mathematics,...
Author: France) Conference on Ordered Sets and Their Applications (4th 198 , M Pouzet ISBN: 9786611788179 Format: Electronic book text	$1108.80
Read More >>

Orders: Description and Roles

Orders: Description and Roles
Author: M Pouzet , D Richard ISBN: 9781281788177 Format: Electronic book text	$231.11
Read More >>

Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik

Junktoren und Quantoren. Baumverfahren. Sequenzenlogik....
Author: Wolfgang Stegmüller , Wolfgang Stegmuller ISBN: 9783540122111 Format: Paperback	$105.47
Read More >>

Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit

Normalformen. Identität und Kennzeichnung. Theorien...
Author: Wolfgang Stegmüller , Wolfgang Stegmuller ISBN: 9783540122128 Format: Paperback	$79.07
Read More >>

Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström

Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit...
Author: Wolfgang Stegmüller , Wolfgang Stegmuller ISBN: 9783540122135 Format: Paperback	$79.07
Read More >>

Strukturtypen der Logik

Strukturtypen der Logik
Author: Matthias Varga von Kibed , Matthias Varga Von Kibed ISBN: 9783540122104 Format: Hardback	$393.23
In immer mehr Bücher, die das Wort ,Logik' im Titel tragen, werden nämlich umgekehrt mehr oder weniger ausführlich... Read More >>

Metamathematische Methoden in der Geometrie

Metamathematische Methoden in der Geometrie
Author: W. Schwabhäuser , W. Szmielew ISBN: 9783540129585 Format: Paperback	$171.47
Teil I enthält einen axiomatischen Aufbau der euklidischen Geometrie auf Grund eines Axiomensystems von Tarski,... Read More >>

Cabal Seminar: Proceedings. Caltech-UCLA Logic Seminar 1979-81

Cabal Seminar: Proceedings. Caltech-UCLA Logic Seminar...
Author: A. S. Kechris , D. A. Martin ISBN: 9783540126881 Format: Paperback	$121.44
Read More >>

Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

Automata, Languages and Programming: 10th Colloquium...
Author: J. Diaz ISBN: 9783540123170 Format: Paperback	$117.48
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: 9789027710840 Format: Hardback	$572.88
Read More >>

Nonstandard Analysis - Recent Developments

Nonstandard Analysis - Recent Developments
Author: A.E. Hurd ISBN: 9783540122791 Format: Paperback	$121.44
Read More >>

Automation of Reasoning: Classical Papers on Computational Logic 1967-1970

Automation of Reasoning: Classical Papers on Computational...
Author: Jorg Siekmann , Graham Wrightson ISBN: 9783540120445 Format: Hardback	$308.88
""Kind of crude, but it works, boy, it works!"" AZan NeweZZ to Herb Simon, Christmas 1955 In 1954 a computer program... Read More >>

Automation of Reasoning: Classical Papers on Computational Logic 1957-1966

Automation of Reasoning: Classical Papers on Computational...
Author: Jorg Siekmann , Graham Wrightson ISBN: 9783540120438 Format: Hardback	$308.88
""Kind of Cl'Ude ~ but it UJorks~ boy~ it UJOrksl"" Alan Ner. ueH to Herb Simon~ C1rl'istmas 1955 In 1954 a computer... Read More >>

Metamathematik der Elementarmathematik

Metamathematik der Elementarmathematik
Author: E. Engeler ISBN: 9783540121510 Format: Paperback	$152.99
Dieses Buch ist kein Lehrbuch. Doch ist es aus Vorlesungen gewachsen, die ich seit ein paar Jahren an der ETH in... Read More >>

Category Theory: Applications to Algebra, Logic and Topology. Proceedings of the International Conference Held at Gummersbach, July 6-10, 1981

Category Theory: Applications to Algebra, Logic and...
Author: K. H. Kamps , D. Pumplün ISBN: 9783540119616 Format: Paperback	$121.44
Read More >>

Proper Forcing

Proper Forcing
Author: Saharon Shelah ISBN: 9783540115939 Format: Paperback	$71.28
Read More >>

Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July 12–16, 1982

Automata, Languages and Programming: Ninth Colloquium...
Author: M. Nielsen , E. M. Schmidt ISBN: 9783540115762 Format: Paperback	$72.86
Read More >>

6th Conference on Automated Deduction: New York, USA, June 7-9, 1982

6th Conference on Automated Deduction: New York, USA,...
Author: Donald W. Loveland ISBN: 9783540115588 Format: Paperback	$52.80
Read More >>

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Iterated Inductive Definitions and Subsystems of Analysis:...
Author: W. Buchholz , S. Feferman ISBN: 9783540111702 Format: Paperback	$121.44
Read More >>

Processes, Beliefs, and Questions: Essays on Formal Semantics of Natural Language and Natural Language Processing

Processes, Beliefs, and Questions: Essays on Formal...
Author: S. Peters , Esa. Saarinen ISBN: 9789027713148 Format: Hardback	$419.76
SECTION I In 1972, Donald Davison and Gilbert Hannan wrote in the introduction to the volume Semantics of Natural... Read More >>

The Core Model

The Core Model
Author: A Dodd ISBN: 9781299403864 Format: Undefined	$330.00
Read More >>

Coding the Universe

Coding the Universe
Author: A Beller , R Jensen ISBN: 9781299403772 Format: Undefined	$330.00
Read More >>

Page 209 of 216 ... 204 205 206 207 208 209 210 211 212 213 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now