La valeur dun entier classique en [mathematical formula]-calcul

Archive for Mathematical Logic 36 (6) (1997)
  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: 91,164

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

La valeur d'un entier classique en $\lambda\mu$ -calcul.Karim Nour - 1997 - Archive for Mathematical Logic 36 (6):461-473.
On the [mathematical formula]-cub game on [mathematical formula] and [mathematical formula].Taneli Huuskonen, Tapani Hyttinen & Mika Rautila - 1999 - Archive for Mathematical Logic 38 (8):549-557.
A characterization of the [mathematical formula]-definable functions of [mathematical formula].Wolfgang Burr & Volker Hartung - 1997 - Archive for Mathematical Logic 36 (3).
The decision problem for [mathematical formula]-lattices with [mathematical formula] prime.Carlo Toffalori - 1997 - Archive for Mathematical Logic 36 (2).
Euler's?-function in the context of I? 0.Marc Jumelet - 1995 - Archive for Mathematical Logic 34 (3):197-209.
Combinatorial characterization of [mathematical formula]-indescribability in [mathematical formula].Yoshihiro Abe - 1997 - Archive for Mathematical Logic 36 (4-5).
Fragments of [mathematical formula] based on [mathematical formula]-induction.Kai F. Wehmeier - 1997 - Archive for Mathematical Logic 36 (1).
Économie et éthique en santé du calcul au jugement de valeur.Maryse Gadreau - 2009 - Revue de Philosophie Économique 1 (1):3-17.
L'applicabilité des preuves suppositionnelles dans les systèmes basés sur le calcul logique classique.S. Kiczuk - 1984 - Roczniki Filozoficzne 32 (1):45-48.
Review: Antonio Monteiro, Matrices de Morgan Caracteristiques pour le Calcul Propositionnel Classique. [REVIEW]Leon Henkin - 1963 - Journal of Symbolic Logic 28 (2):174-175.
Valeur, valeur d'usage et valeur symbolique.Jean Lojkine - 1991 - Cahiers Internationaux de Sociologie 90:25-48.
La thèse de l'hyper-calcul : enjeux et problèmes philosophiques.Florent Franchette - 2012 - Philosophia Scientiae 16 (16-3):17-38.
What Can Mathematical Chemistry Contribute to the Development of Mathematics?Haruo Hosoya - 2013 - Hyle 19 (1):87 - 105.
Valeur et esthétique, valeur marchande.Carole Talon-Hugon - 2004 - Philosophique 7 (7):63-77.
Une approche C++ du calcul par elements finis, Colloque national en calcul des structures, 11-14 Mai 1993, Giens.K. Aazizou, J. Besson, G. Cailletaud & F. Hourlier - forthcoming - Hermes.

Analytics

Added to PP
2014-03-24

Downloads
17 (#811,313)

6 months
3 (#857,336)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

S-Storage Operators.Karim Nour - 1998 - Mathematical Logic Quarterly 44 (1):99-108.
Storage operators and directed lambda-calculus.René David & Karim Nour - 1995 - Journal of Symbolic Logic 60 (4):1054-1086.

Add more citations

References found in this work

No references found.

Add more references