Annual meeting of the association for symbolic logic, Los Angeles, 1989

Journal of Symbolic Logic 55 (1):372-386 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
17 (#889,074)

6 months
7 (#481,211)

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

The Logic of Scientific Discovery.Karl R. Popper - 1959 - Les Etudes Philosophiques 14 (3):383-383.
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
The Liar.J. Barwise & J. Etchemendy - 1990 - Studia Logica 49 (3):426-427.
On the scheme of induction for bounded arithmetic formulas.A. J. Wilkie & J. B. Paris - 1987 - Annals of Pure and Applied Logic 35 (C):261-302.
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.

View all 13 references / Add more references