Ouelques Resultats sur les Interpretations Fonctionnelles

In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 232--252 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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

A preservation theorem for interpretations.K. Jon Barwise - 1973 - In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 618--621.
Cambridge Summer School in Mathematical Logic.A. R. D. Mathias & Hartley Rogers (eds.) - 1973 - New York,: Springer Verlag.
Cambridge Summer School in Mathematical Logic Held in Cambridge/England, August 1-21, 1971.Adrian Richard David Mathias & Hartley Rogers (eds.) - 1973 - New York, NY, USA: Springer.
Infinitary combinatorics.E. M. Kleinberg - 1973 - In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 361--418.
The arithmetic theory of constructions.Nicolas D. Goodman - 1973 - In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 274--298.
On descendingly complete ultrafilters.Karel Prikry - 1973 - In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 459--488.
Modal model theory.C. C. Chang - 1973 - In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 599--617.
Realizability: a retrospective survey.S. C. Kleene - 1973 - In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 95--112.
Countable models of set theories.Harvey Friedman - 1973 - In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 539--573.
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.

Analytics

Added to PP
2014-01-26

Downloads
9 (#1,266,389)

6 months
5 (#836,975)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Limits of Computation.Andrew Powell - 2022 - Axiomathes 32 (6):991-1011.

Add more citations

References found in this work

No references found.

Add more references