Open Library beta
Log in
Search Results
    More search options

There are 192 matching records. Show: List / Covers

full text
Not available   192
authors
Tarski, Alfred.   3
A. S. Kechris   2
Dimiter G. Skordev   2
George Tourlakis   2
H. D. Ebbinghaus   2
Howard Pospesel   2
subjects
Mathematical And Symbolic Logic   [x]
Logic   143
Science/Mathematics   118
Mathematics   115
Mathematical logic   79
Logic, Symbolic and mathematic   68
publication date
1980-1999   118
2000–now   69
pre-1920   3
1960-1979   2
languages
English   172
Undetermined   2
German   1
publishers
Springer   70
Cambridge University Press   14
Prentice Hall   12
Springer-Verlag   6
Birkhauser   4
Birkhäuser Boston   4
Proceedings of the Herbrand Symposium by J. Stern
Elsevier Science, July 1982 Textbook Binding
Language of Logic by Iam Euniv Pr of
Rowman & Littlefield (Non NBN), September 1979 Paperback
Intuitionistic Type Theory by Per Martin-Lof
Prometheus Books, June 1985 Paperback
Studies in Inductive Logic and Probability. by Rudolf Carnap
Univ of California Pr, October 1980 Hardcover
Berechenbare Vernunft by Sydelle Kramer
Walter De Gruyter Inc, July 1991 Hardcover
Logic (Study in Logic & Mathematics) by Paris Logic Group
Elsevier, May 1987 Hardcover
Mathematical Logic by Yu. L. Ershov, E. A. Palyutin
Imported Pubn, February 1986 Hardcover
Bibliography of Mathematical Logic by P.G. Hinman
Springer-Verlag, April 1987 Hardcover
Bibliography of Mathematical Logic by A.R. Blass
Springer-Verlag, April 1987 Hardcover
Bibliography of Mathematical Logic by H. D. Ebbinghaus
Springer-Verlag, April 1987 Hardcover
Logic Colloquium '90 by Juha Oikkonen
Springer, November 1993 Paperback
Berechenbarkeit by Walter Felscher
Springer-Verlag, March 1993 Paperback
Logic Colloquium (Studies in Logic & the Foundations of Mathematics)
Elsevier, November 1979 Hardcover
Logic Colloquium (Studies in Logic & the Foundations of Mathematics) by J.B. Paris
Elsevier, June 1986 Hardcover
The Sixteenth International Symposium on Multiple-Valued Logic
Ieee, May 1986 Paperback
Proceedings of the Seventeenth International Symposium on Multiple Valued Logic (International Symposium on Multiple-Valued Logic//Proceedings)
Ieee, April 1987 Paperback
Frege Und Die Tradition (Analytica) by Ignacio Angelelli
Philosophia Verlag Gmbh, May 1995 Hardcover
Proceedings by International Symposium on Multiple-Valued Logic
Ieee, July 1983 Paperback
Alfred Tarski, Collected Papers (Collected Works) by Tarski, Alfred.
Birkhauser, January 1987 Hardcover
Elementary Systematics by J. G. Bennett
Bennett Books, October 1992 Paperback


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