Mathematical logic books

5384 books were found.

Handbook of Mathematical Logic

Handbook of Mathematical Logic
Author: J Barwise , J Barwise ISBN: 9781282169180 Format: Electronic book text	$570.24
Read More >>

Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory
Author: G Takeuti , W M Zaring ISBN: 9780387906836 Format: Hardback	$155.76
Read More >>

Model Theory and Arithmetic: Comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'Arithmetique, Paris, France, 1979/80

Model Theory and Arithmetic: Comptes rendus d'une action...
Author: C. Berline , K. McAloon ISBN: 9783540111597 Format: Paperback	$121.44
Read More >>

Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences...
Author: G.H. Müller , G. Takeuti ISBN: 9783540111610 Format: Paperback	$121.44
Read More >>

New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics

New Studies in Deontic Logic: Norms, Actions, and the...
Author: R. Hilpinen , Risto Hilpinen ISBN: 9789027712783 Format: Hardback	$462.00
Read More >>

Cylindric Set Algebras

Cylindric Set Algebras
Author: L. Henkin , J. D. Monk ISBN: 9783540108818 Format: Paperback	$121.44
Read More >>

New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics

New Studies in Deontic Logic: Norms, Actions, and the...
Author: Risto Hilpinen ISBN: 9789027713469 Format: Paperback	$188.76
Read More >>

The Math Workshop: Elementary Functions

The Math Workshop: Elementary Functions
Author: Deborah Hughes-Hallett (Harvard University) ISBN: 9780393090338 Format: Hardback	$115.74
The purpose of this book is to show you everything you need to know about functions to understand and enjoy calculus.... Read More >>

A Basis for Theoretical Computer Science

A Basis for Theoretical Computer Science
Author: M. A. Arbib , A. J. Kfoury ISBN: 9780387905730 Format: Hardback	$131.87
Computer science seeks to provide a scientific basis for the study of inform a- tion processing, the solution of... Read More >>

Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980

Constructive Mathematics: Proceedings of the New Mexico...
Author: F. Richman ISBN: 9783540108504 Format: Paperback	$121.44
Read More >>

Set Theory and Model Theory: Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979

Set Theory and Model Theory: Proceedings of an Informal...
Author: R.B. Jensen , A. Prestel ISBN: 9783540108498 Format: Paperback	$68.64
Read More >>

Algorithmische Sprache Und Programmentwicklung

Algorithmische Sprache Und Programmentwicklung
Author: F L Bauer , H Wassner ISBN: 9783540098539 Format: Paperback	$184.77
Read More >>

Automata, Languages and Programming: Eighth Colloquium, Acre (Akko), Israel, July 13-17, 1981

Automata, Languages and Programming: Eighth Colloquium,...
Author: S. Even , O. Kariv ISBN: 9783540108436 Format: Paperback	$224.27
Read More >>

Logic Year 1979-80: The University of Connecticut, USA

Logic Year 1979-80: The University of Connecticut, USA...
Author: M. Lerman , J.H. Schmerl ISBN: 9783540107088 Format: Paperback	$121.44
Read More >>

Cabal Seminar 77 – 79: Proceedings, Caltech-UCLA Logic Seminar 1977 – 79

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

Fuzzy Sets and Systems: Theory and Applications

Fuzzy Sets and Systems: Theory and Applications
Author: Didier J. Dubois (Directeur de Recherches CNRS, Paris, Laboratoire IRIT and Université Paul Sabatier, Toulouse, France) , Henri Prade ISBN: 9780122227509 Format: Hardback	$580.80
Read More >>

Finite Geometries and Designs

Finite Geometries and Designs
Author: P J Cameron (Queen Mary, University of London) , J W Hirschfeld ISBN: 9781299706897 Format: Undefined	$330.00
Originally published in 1981, this collection of 33 research papers follows from a conference on the interwoven... Read More >>

Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz,Poland, September 1-7, 1979

Model Theory of Algebra and Arithmetic: Proceedings...
Author: L. Pacholski , J Wierzejewski ISBN: 9783540102694 Format: Paperback	$155.76
Read More >>

Context-Free Grammars: Covers, Normal Forms, and Parsing

Context-Free Grammars: Covers, Normal Forms, and Parsing...
Author: A. Nijholt ISBN: 9783540102458 Format: Paperback	$139.79
Read More >>

Using Sophisticated Models in Resolution Theorem Proving

Using Sophisticated Models in Resolution Theorem Proving...
Author: David M. Sandford ISBN: 9783540102311 Format: Paperback	$131.87
Read More >>

Grammar and L Forms: An Introduction

Grammar and L Forms: An Introduction
Author: D. Wood ISBN: 9783540102335 Format: Paperback	$71.28
Read More >>

Recursion on the Countable Functionals

Recursion on the Countable Functionals
Author: D. Normann ISBN: 9783540100195 Format: Paperback	$68.64
Read More >>

5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980

5th Conference on Automated Deduction: Les Arcs, France,...
Author: Wolfgang Bibel , R. Kowalski ISBN: 9783540100096 Format: Paperback	$171.47
Read More >>

Logic Matters

Logic Matters
Author: P. T. Geach ISBN: 9780520038479 Format: Paperback	$71.15
Features papers that are arranged by topic: Historical Essays, Traditional Logic, Theory of Reference and Syntax,... Read More >>

Mathematical Theory of L Systems, The. Pure and Applied Mathematics: A Series of Monographs and Textbooks.

Mathematical Theory of L Systems, The. Pure and Applied...
Author: Grzegorz Rozenberg (University of Leiden) , Arto Salomaa ISBN: 9786611768898 Format: Electronic book text	$617.76
Read More >>

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

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now