Logique Combinatoire et λ-Conversion

Journal of Symbolic Logic 22 (3):293-293 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963600

Links

PhilArchive



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

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: J. Barkley Rosser, Logique Combinatoire et $lambda$-Conversion; J. Barkley Rosser, les Modeles des Logiques Formelles. [REVIEW]Frederic B. Fitch - 1957 - Journal of Symbolic Logic 22 (3):293-293.
Le logique combinatoire: du nouveau calcul'à la logique combinatoire.J. -P. Ginisti - 1993 - Kairos (Université de Toulouse-Le Mirail. Faculté de philosophie) 4:59-97.
Review: Joseph Dopp, Essai d'une Presentation de la Logique Combinatoire. [REVIEW]J. Barkley Rosser - 1962 - Journal of Symbolic Logic 27 (1):77-77.
Review: Robert Feys, Peano et Burali-Forti Precurseurs de la Logique Combinatoire. [REVIEW]J. Barkley Rosser - 1954 - Journal of Symbolic Logic 19 (3):224-225.
Review: Haskell B. Curry, La Theorie des Combinateurs; Haskell B. Curry, La Logique Combinatoire et les Antinomies. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (4):378-378.
La logique combinatoire.Jean-Pierre Ginisti - 1998 - Tijdschrift Voor Filosofie 60 (1):206-207.
La technique de la logique combinatoire.Robert Feys - 1946 - Revue Philosophique De Louvain 44 (1):74-103.
De la combinatoire aux probabilités, La combinatoire de Cardan à J. Bernoulli.P. Raymond - 1977 - Revue de Métaphysique et de Morale 82 (4):570-571.
Review: Robert Feys, La Technique de la Logique Combinatoire. [REVIEW]S. C. Kleene - 1947 - Journal of Symbolic Logic 12 (1):27-28.
Review: Jean-Pierre Ginisti, La Logique Combinatoire. [REVIEW]Jonathan P. Seldin - 1999 - Journal of Symbolic Logic 64 (4):1833-1834.
Peano et Burali-Forti Précurseurs de la Logique Combinatoire.J. Baekley Rosser - 1954 - Journal of Symbolic Logic 19 (3):224-225.
La logique combinatoire, coll. « Que sais-je ? ».Jean-Pierre Ginisti - 1997 - Revue Philosophique de la France Et de l'Etranger 187 (3):355-355.
De la logique combinatoire des 'Generales Inquisitiones' aux calculs combinmatoires contemporains.Lorenzo Peña Y. Gonzalo - 1991 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 6 (1-2):129-159.
Clavis universalis, arts de la mémoire, logique combinatoire et langue universelle de Lulle à Leibniz, coll. « Krisis ».Paolo Rossi & Patrick Vighetti - 1995 - Revue Philosophique de la France Et de l'Etranger 185 (2):276-277.
Affectional Conversion.Bernard J. Tyrrell - 1996 - Method 14 (1):1-35.

Analytics

Added to PP
2015-02-05

Downloads
5 (#1,532,334)

6 months
3 (#968,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

No references found.

Add more references