Expression de la recursion primitive dans le calcul-XK

Logique Et Analyse (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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: Jean Ladriere, Expression de la Recursion Primitive dans le Calcul-$lambda-mathbf{K}$. [REVIEW]Paul Bernays - 1965 - Journal of Symbolic Logic 30 (1):91-94.
Unary primitive recursive functions.Daniel E. Severin - 2008 - Journal of Symbolic Logic 73 (4):1122-1138.
On nested simple recursion.Ján Komara - 2011 - Archive for Mathematical Logic 50 (5-6):617-624.
La thèse de l'hyper-calcul : enjeux et problèmes philosophiques.Florent Franchette - 2012 - Philosophia Scientiae 16 (16-3):17-38.
Non-definability of the Ackermann function with type 1 partial primitive recursion.Karl-Heinz Niggl - 1997 - Archive for Mathematical Logic 37 (1):1-13.
Calcul et formalisation dans les sciences de l'homme. Conférences prononcées lors des Journées Internationales d'Études sur les Méthodes de Calcul dans les Sciences de l'Homme, à Rome, du 4 au 18 juillet 1966, sous les auspices du Centre International de Calcul , Paris, Éditions du Centre National de la Recherche Scientifique, 1968, , 324 pages. [REVIEW]Jean-Dominique Robert - 1971 - Laval Théologique et Philosophique 27 (2):203.
Review: Ingebrigt Johansson, Sur le Concept de "le" (Ou de "ce qui") dans le Calcul Affirmatif et dans les Calculs Intuitionnistes; R. Feys, Ingebright Johansson, Discussion: Sur le Concept de "le" (Ou de "ce qui") dans le Calcul Affirmatif et dans les Calculs Intuitionnistes. [REVIEW]Theodore Hailperin - 1958 - Journal of Symbolic Logic 23 (3):346-346.
Review: Jacques Riguet, Sur l'Extension du Calcul des Relations Binaires au Calcul des Matrices a Elements dans une Algebre de Boole Complete. [REVIEW]Roland Fraïssé - 1956 - Journal of Symbolic Logic 21 (4):397-398.
Monotone majorizable functionals.Helmut Schwichtenberg - 1999 - Studia Logica 62 (2):283-289.
Review: Eugen Mihailescu, Formes Normales dans le Calcul des Propositions Bivalentes; Eugen Mihailescu, Recherches sur Quelques Systemes du Calcul des Propositions. [REVIEW]K. IséKi - 1969 - Journal of Symbolic Logic 34 (1):122-122.
A theory of rules for enumerated classes of functions.Andreas Schlüter - 1995 - Archive for Mathematical Logic 34 (1):47-63.
Primitive Recursion and the Chain Antichain Principle.Alexander P. Kreuzer - 2012 - Notre Dame Journal of Formal Logic 53 (2):245-265.
Iteration of Primitive Recursion.Paul Axt - 1965 - Mathematical Logic Quarterly 11 (3):253-255.
The realm of primitive recursion.Harold Simmons - 1988 - Archive for Mathematical Logic 27 (2):177-188.
On the proof theory of type two functionals based on primitive recursive operations.David Steiner & Thomas Strahm - 2006 - Mathematical Logic Quarterly 52 (3):237-252.

Analytics

Added to PP
2014-02-12

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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