Turing's World

&
Journal of Symbolic Logic 55 (1):370-371 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275002

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

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

Review: Jon Barwise, John Etchemendy, Turing's World; Jon Barwise, John Etchemendy, Tarski's World. [REVIEW]George Boolos - 1990 - Journal of Symbolic Logic 55 (1):370-371.
Turing's World 3.0. An Introduction to Computability Theory.S. L. R., Jon Barwise & John Etchemendy - 1994 - Philosophical Quarterly 44 (175):276.
Jon Barwise and John Etchemendy. Turing's world. Kinko's Academic Courseware Exchange, Santa Barbara1986, viii + 68 pp. + disk. - Jon Barwise and John Etchemendy. Tarski's world. Kinko's Academic Courseware Exchange, Santa Barbara1987, vii + 85 pp. + disk. [REVIEW]George Boolos - 1990 - Journal of Symbolic Logic 55 (1):370-371.
Turing's World 3.0 for Mac: An Introduction to Computability Theory.Jon Barwise & John Etchemendy - 1993 - Center for the Study of Language and Information Publications.
Review: Jon Barwise, John Etchemendy, The Language of First-Order Logic, Including the IBM-Compatible Windows Version of Tarski's World 4.0; Jon Barwise, John Etchemendy, Hyperproof. [REVIEW]Don Fallis - 1999 - Journal of Symbolic Logic 64 (2):916-918.
Review: Jon Barwise, John Etchemendy, The Language of First-Order Logic, including the Program Tarski's World; Jon Barwise, John Etchemendy, The Language of First-order Logic, including the Macintosh Program Tarski's World. [REVIEW]Kevin J. Compton - 1993 - Journal of Symbolic Logic 58 (1):362-363.
Review: Jon Barwise, John Etchemendy, The Liar. An Essay on Truth and Circularity. [REVIEW]Donald A. Martin - 1992 - Journal of Symbolic Logic 57 (1):252-254.
Barwise Jon and Etchemendy John. The language of first-order logic, including the program Tarski's world. Includes version 3.0 of LV 370 (2). CSLI lecture notes, no. 23. Center for the Study of Language and Information, Stanford 1990, also distributed by the University of Chicago Press, Chicago, xiii+ 259 pp.+ disk. Barwise Jon and Etchemendy John. The language of first-order logic, including the Macintosh program Tarski's world. of the preceding. CSLI lecture notes, no. 23. Center for the Study of .. [REVIEW]Kevin J. Compton - 1993 - Journal of Symbolic Logic 58 (1):362-363.
Jon Barwise and John Etchemendy, The Language of First-Order Logic including Tarski's World 4.0 Reviewed by.Louis Marinoff - 1994 - Philosophy in Review 14 (3):162-164.
Jon Barwise and John Etchemendy. The liar. An essay on truth and circularity. Oxford University Press, New York and Oxford1987, xii + 185 pp. [REVIEW]Donald A. Martin - 1992 - Journal of Symbolic Logic 57 (1):252-254.

Analytics

Added to PP
2015-02-05

Downloads
29 (#568,210)

6 months
16 (#172,468)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John Etchemendy
Stanford University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references