Logic and computer science, edited by Piergiorgio Odifreddi, APIC studies in data processing, vol. 31, Academic Press, London, San Diego, etc., 1990, xii + 430 pp [Book Review]

Journal of Symbolic Logic 59 (3):1111-1114 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200019794

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logic and Computer Science.Piergiorgio Odifreddi - 1990
Logic and Computer Science: Lectures Given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, June 20-28, 1988.S. Homer, Piergiorgio Odifreddi, Centro Internazionale Matematico Estivo & C. I. M. E. Meeting on Logic and Computer Science - 1990 - Springer.
Martin D. Davis, Ron Sigal, and Elaine J. Weyuker. Computability, complexity, and languages. Fundamentals of theoretical computer science. Second edition of LII 293. Computer science and scientific computing. Academic Press, Boston, San Diego, New York, etc., 1994, xix + 609 pp. [REVIEW]H. B. Enderton - 1996 - Journal of Symbolic Logic 61 (2):703-704.
Penrose Roger. Shadows of the mind. A search for the missing science of consciousness. Oxford University Press, Oxford, New York, and Melbourne, 1994, xvi + 457 pp. [REVIEW]Piergiorgio Odifreddi - 1997 - Journal of Symbolic Logic 62 (2):673-675.
Proceedings: June 4-7, 1990, Philadelphia, PA.. 5.Association for Symbolic Logic, Acm Special Interest Group for Automata and Computability Theory, European Association for Theoretical Computer Science & Ieee Computer Society - 1990
Raymond M. Smullyan. Recursion theory for metamathematics. Oxford logic guides, no. 22. Oxford University Press, New York and Oxford1993, xiv + 163 pp. [REVIEW]Piergiorgio Odifreddi - 1995 - Journal of Symbolic Logic 60 (4):1324-1326.
Computer Science Logic 4th Workshop, Csl '90, Heidelberg, Germany, October 1-5, 1990 : Proceedings'.Egon Börger, Hans Kleine Büning, Michael M. Richter & Wolfgang Schönfeld - 1991 - Springer Verlag.
Review: Roger Penrose, Shadows of the Mind. A Search for the Missing Science of Consciousness. [REVIEW]Piergiorgio Odifreddi - 1997 - Journal of Symbolic Logic 62 (2):673-675.
Gametes Galore. The Molecular Biology of Fertilization_(1989). Edited by H. Schatten and G. Schatten. Academic Press: San Diego. 384pp. $85. _The Cell Biology of Fertilization_(1989). Edited by H. Schatten and G. Schatten. Academic Press: San Diego. 404pp. $85. _Cell Biology of Mammalian Egg Manipuoation(1989). Edited by T. Greve, P. Hyttel and B. J. Weir. Journals of Reproduction and Fertility Ltd: Cambridge. 173pp. £25. [REVIEW]Lynn R. Fraser - 1991 - Bioessays 13 (2):95-96.
Forcing and reducibilities.Piergiorgio Odifreddi - 1983 - Journal of Symbolic Logic 48 (2):288-310.
Forcing and Reducibilities.Piergiorgio Odifreddi - 1983 - Journal of Symbolic Logic 48 (2):288-310.
Conditionals: from philosophy to computer science, edited by G. Crocco, L. Fariñas del Cerro, and A. Herzig, Studies in logic and computation, no. 5, Clarendon Press, Oxford University Press, Oxford and New York1995, viii + 368 pp. [REVIEW]Charles B. Cross & Donald Nute - 1997 - Journal of Symbolic Logic 62 (4):1487-1490.
Review: Raymond M. Smullyan, Recursion theory for metamathematics. [REVIEW]Piergiorgio Odifreddi - 1995 - Journal of Symbolic Logic 60 (4):1324-1326.
Linear logic in computer science, edited by Ehrhard T., Girard J.-Y., Ruet P., and Scott P., London Mathematical Society Lecture Note Series, 316. Cambridge University Press, 2004, 392 pp. [REVIEW]Andrzej S. Murawski - 2006 - Bulletin of Symbolic Logic 12 (2):297-299.
Forcing and reducibilities. II. forcing in fragments of analysis.Piergiorgio Odifreddi - 1983 - Journal of Symbolic Logic 48 (3):724-743.

Analytics

Added to PP
2014-04-03

Downloads
11 (#1,135,140)

6 months
2 (#1,192,898)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references