Open Library beta
Log in
Search Results
    More search options

There are 49 matching records. Show: List / Covers

full text
Not available   49
authors
Evelyn Underhill   2
Barteld Kooi   1
C, E Brown   1
G. Paun   1
Giles Cohen   1
Giuseppe Primiero   1
subjects
Mathematics : Logic   [x]
Logic   49
Computer Science   19
Computers - General Information   19
Science/Mathematics   14
Mathematics   12
publication date
1980-1999   26
2000–now   17
1960-1979   3
pre-1920   3
languages
English   49
French   2
German   1
publishers
Springer   41
College Publications   3
Brownstone Books   1
Cambridge University Press   1
Cosimo Classics   1
Kessinger Publishing, LLC   1
L Systems (Lecture Notes in Computer Science)
Springer, November 4, 1974 Paperback
Doing Worlds with Words by J. Peregrin
Springer, December 31, 1899 Hardcover
Proof Theory of Modal Logic (Applied Logic Series) by H. Wansing
Springer, December 31, 1899 Hardcover
Essays on the Theory of Numbers (Second Edition) by Richard Dedekind
Brownstone Books, April 11, 2007 Paperback
50 Mathematical Puzzles & Problems Green Collection (50 Mathematical Puzzles and Problems) by Giles Cohen
Key Curriculum Press, January 1, 2001 Paperback
Set Theory by Thomas Jech
Springer, April 1, 2006 Hardcover
The Cloud of Unknowing by Evelyn Underhill
Kessinger Publishing, LLC, July 25, 2007 Hardcover
The Cloud of Unknowing by Evelyn Underhill
Cosimo Classics, May 1, 2007 Paperback
Information and Knowledge by Giuseppe Primiero
Springer, December 4, 2007 Hardcover
Handbook of Paraconsistency (Studies in Logic (Logic & Cognitive Systems))
College Publications, November 1, 2007 Paperback
Automated Reasoning in Higher-order Logic by C, E Brown
College Publications, October 22, 2007 Paperback
A Meeting of the Minds
College Publications, June 8, 2007 Paperback
Automata, Languages and Programming
Springer, July 29, 1981 Paperback
Logic and Machines: Decision Problems and Complexity
Springer, June 15, 1984 Paperback
Trends, Techniques, and Problems in Theoretical Computer Science
Springer, November 18, 1987 Paperback
1. Fachtagung über Automatentheorie und Formale Sprachen
Springer, November 27, 1973 Paperback
STACS 86
Springer, January 6, 1986 Paperback
TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Springer, March 23, 1987 Paperback
The Vienna Development Method
Springer, June 23, 1978 Paperback
Caap'86 by Paul Franchi-Zannettacci
Springer, April 11, 1986 Paperback


More results:  1  2  3  NEXT >
Can't find the book you are searching for? Add a new book.
Search = 0.19 sec; Presentation = 0.00 sec