Mathematical logic books

5384 books were found.

Perspectives on the History of Mathematical Logic

Perspectives on the History of Mathematical Logic
Author: Thomas Drucker (Dickinson College, Carlisle, Pennsylvania, USA) ISBN: 9780817634445 Format: Hardback	$279.84
Read More >>

Foundations Without Foundationalism: A Case for Second-Order Logic. Oxford Logic Guides, Volume 17.

Foundations Without Foundationalism: A Case for Second-Order...
Author: Stewart Shapiro ISBN: 9786611943967 Format: Electronic book text	$427.13
The central contention of this book is that second-order logic has a central role to play in laying the foundations... Read More >>

To Infinity and Beyond: A Cultural History of the Infinite

To Infinity and Beyond: A Cultural History of the Infinite...
Author: Eli Maor , Eli Maor ISBN: 9780691025117 Format: Paperback	$71.15
Examines the role of infinity in mathematics and geometry and its cultural impact on the arts and sciences. This... Read More >>

The Lady or the Tiger?

The Lady or the Tiger?
Author: Raymond M. Smullyan ISBN: 9780192861368 Format: Paperback	$22.95
"""The Lady or the Tiger?"" is a series of logic puzzles, ranging from the simplest problems to the most complex.... Read More >>

Semimodular Lattices

Semimodular Lattices
Author: Manfred Stern ISBN: 9783815420188 Format: Hardback	$184.77
A survey of semimodularity that presents theory and applications in discrete mathematics, group theory and universal... Read More >>

Canonical Equational Proofs

Canonical Equational Proofs
Author: Bachmair , Leo Bachmair ISBN: 9780817635558 Format: Paperback	$158.27
Read More >>

Logical Number Theory I: An Introduction

Logical Number Theory I: An Introduction
Author: Craig Smorynski ISBN: 9783540522362 Format: Paperback	$184.67
The 2-volume introductory textbook on logical number theory - or, number theory as studied by the logician - consists... Read More >>

Elementare Aussagenlogik

Elementare Aussagenlogik
Author: Friedrich L. Bauer , Martin Wirsing ISBN: 9783540529743 Format: Paperback	$94.91
Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und... Read More >>

Computation, Logic, Philosophy: A Collection of Essays

Computation, Logic, Philosophy: A Collection of Essays...
Author: Wang Hao ISBN: 9780792302186 Format: Hardback	$498.96
~Et moi, ...si j'avait su comment en revenir, One service mathematics has rendered the je n'y serais point alle.'... Read More >>

Models of Peano Arithmetic

Models of Peano Arithmetic
Author: Richard Kaye (Junior Research Fellow, Junior Research Fellow, Jesus College, Oxford) ISBN: 9780198532132 Format: Hardback	$185.95
An introduction to the developments of nonstandard models. Beginning with Godel's incompleteness theorem, it covers... Read More >>

Operationales Spezifizieren mit programmierten Graphersetzungssystemen: Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung Herausgegeben und eingeleitet von Manfred Nagl

Operationales Spezifizieren mit programmierten Graphersetzungssystemen:...
Author: Andreas Schürr , Andreas Schurr ISBN: 9783824420216 Format: Paperback	$158.37
Originally presented as the author's thesis (doctoral)--TH Aachen, 1991. Read More >>

Expertensysteme

Expertensysteme
Author: Georg Gottlob , G. Fleischanderl ISBN: 9783211822210 Format: Paperback	$87.12
Read More >>

Mathematics of Ramsey Theory

Mathematics of Ramsey Theory
Author: Jaroslav Nesetril , Vojtech Rodl ISBN: 9783540181910 Format: Hardback	$382.80
This book is a homogeneous collection of research and survey articles by leading specialists in Ramsey theory. It... Read More >>

Peirce's Reduction Thesis

Peirce's Reduction Thesis
Author: Robert W Burch ISBN: 9780896722477 Format: Hardback	$79.20
Read More >>

Algebraic and Structural Automata Theory. Annals of Discrete Mathematics, Volume 44.

Algebraic and Structural Automata Theory. Annals of...
Author: B Mikolajczak ISBN: 9786611790707 Format: Electronic book text	$1108.80
Automata Theory is part of computability theory which covers problems in computer systems, software, activity of... Read More >>

Logic and Proof

Logic and Proof
Author: E Norman ISBN: 9780536580894 Format: Book	$190.74
Read More >>

Algebraic and Structural Automata Theory

Algebraic and Structural Automata Theory
Author: B Mikolajczak , B Mikolajczak ISBN: 9781281790705 Format: Electronic book text	$231.11
Automata Theory is part of computability theory which covers problems in computer systems, software, activity of... Read More >>

Higher Recursion Theory

Higher Recursion Theory
Author: Gerald E. Sacks ISBN: 9783540193050 Format: Hardback	$422.40
Hyperarithmetic theory is the first step beyond classical recursion theory. It is the primary source of ideas and... Read More >>

Natural Language and Logic: International Scientific Symposium, Hamburg, FRG, May 9-11, 1989. Proceedings

Natural Language and Logic: International Scientific...
Author: Rudi Studer ISBN: 9783540530824 Format: Paperback	$145.07
The volume gives an overview of recent results achieved within the LILOG project (LInguistic and LOgic methods for... Read More >>

Literature and Cognition

Literature and Cognition
Author: Jerry R. Hobbs ISBN: 9780937073537 Format: Hardback	$74.95
Read More >>

Categories, Allegories. North-Holland Mathematical Library, Volume 39.

Categories, Allegories. North-Holland Mathematical Library,...
Author: Peter Freyd , Andre Scedrot ISBN: 9786611756291 Format: Electronic book text	$702.24
General concepts and methods that occur throughout mathematics - and now also in theoretical computer science -... Read More >>

Mathematical Logic

Mathematical Logic
Author: Petio P. Petkov ISBN: 9780306435119 Format: Hardback	$290.40
Read More >>

Gesammelte Abhandlungen Mathematischen Und Philosophischen Inhalts: Mit Erlauternden Anmerkungen Sowie Mit Erganzungen Aus Dem Briefwechsel Cantor-Dedekind

Gesammelte Abhandlungen Mathematischen Und Philosophischen...
Author: Georg Cantor , Ernst Zermelo ISBN: 9783540098492 Format: Hardback	$314.03
Read More >>

Cardinal Functions on Boolean Algebras

Cardinal Functions on Boolean Algebras
Author: MONK ISBN: 9783764324957 Format: Paperback	$105.47
Read More >>

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989

Recursion Theory Week: Proceedings of a Conference held...
Author: Klaus Ambos-Spies , Gert H. Müller ISBN: 9783540527725 Format: Paperback	$121.44
Read More >>

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

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now