European meeting of the association for symbolic logic: Bristol, England, 1973

&
Journal of Symbolic Logic 39 (2):406-432 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272726

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,934

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

Martin-Löf Per. An intuitionistic theory of types: predicative part. Logic colloquium '73, Proceedings of the logic colloquium, Bristol, July 1973, edited by Rose H. E. and Shepherdson J. C., Studies in logic and the foundations of mathematics, vol. 80, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, pp. 73–118. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):311-313.
J. C. Shepherdson und H. E. Sturgis. Computability of recursive functions. Journal of the Association for Computing Machinery, Bd. 10 , S. 217–255. [REVIEW]Gunter Asser - 1967 - Journal of Symbolic Logic 32 (1):122-123.
European meeting of the association for symbolic logic: Oxford, England, 1976.R. O. Gandy & D. S. Scott - 1977 - Journal of Symbolic Logic 42 (3):437-479.
European summer meeting of the Association for Symbolic Logic, Manchester, England, 1984.P. Aczel, J. B. Paris, A. J. Wilkie, G. M. Wilmers & C. E. M. Yates - 1986 - Journal of Symbolic Logic 51 (2):480-502.
European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium'93: Keele, England, July 20–29, 1993.Wilfrid Hodges - 1995 - Bulletin of Symbolic Logic 1 (1):85-115.
Meeting of the association for symbolic logic, Dallas 1973.J. Donald Monk, Jan Mycielski & Jürgen Schmidt - 1973 - Journal of Symbolic Logic 38 (3):541-549.
Meeting of the association for symbolic logic seattle 1973.Anne C. Morel, Ronald Harrop, Miriam Lucian & David Pincus - 1974 - Journal of Symbolic Logic 39 (1):195-208.
Meeting of the association for symbolic logic: Atlanta 1973.C. Ward Henson, Bjarni Jónsson, E. G. K. Lopez-Escobar & Michael D. Resnik - 1974 - Journal of Symbolic Logic 39 (2):390-405.
Meeting of the Association for Symbolic Logic, Hamilton, New Zealand, 1973.M. J. Cresswell & W. G. Malcolm - 1974 - Journal of Symbolic Logic 39 (1):204-208.
Shepherdson J. C.. Inner models for set theory. [REVIEW]J. Barkley Rosser - 1953 - Journal of Symbolic Logic 18 (4):342-343.

Analytics

Added to PP
2009-01-28

Downloads
56 (#390,570)

6 months
15 (#222,143)

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

Two notes on vector spaces with recursive operations.J. C. E. Dekker - 1971 - Notre Dame Journal of Formal Logic 12 (3):329-334.
Vom Unendlichen zum Endlichen.Eduard Wette - 1970 - Dialectica 24 (4):303-323.

Add more references