Elimination des termesε dans la logique intuitioniste

Revue Internationale de Philosophie 98:512-519 (1971)
  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,590

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

Élimination des termes epsilon dans la logique intuitionniste.V. A. Smirnov - 1971 - Revue Internationale de Philosophie 25 (4=98):512.
A Propos de l'Analyse des Jugements Universels dans la Logique de Port-Royal.Roger Schmit - 1994 - Revue Internationale de Philosophie 48 (190):481-484.
W. V. QUINE, "Philosophie de la Logique". [REVIEW]J. Largeault - 1977 - Revue Internationale de Philosophie 31 (3):453.
Logique de la forme dans l'esthétique de Hegel.Benoît Timmermans - 2002 - Revue Internationale de Philosophie 3:431-442.
Le statut de la vérité dans le calcul implicationnel de Russell en 1903: ou les insuffisances de la logique propositionnelle des Principles.Denis Vernant - 1997 - Revue Internationale de Philosophie 51 (200):221-229.
André THAYSE, "Approche logique de l'Intelligence Artificielle". Tome 2: "De la logique modale à la logique des bases de données". [REVIEW]Véronique Van Cleemput - 1990 - Revue Internationale de Philosophie 44 (1):140.
La logique des structures et l'épistémologie.Noël Mouloud - 1965 - Revue Internationale de Philosophie 19 (3):73-74.
Hilbert et la logique interne des mathématiques.Yvon Gauthier - 1993 - Revue Internationale de Philosophie 47 (186):305-318.
Les problèmes de la déduction logique et des inférences inductives.S. Issman - 1959 - Revue Internationale de Philosophie 13 (47):132-34.
Des rapports de la logique et de la linguistique dans le problème de la langue internationale.L. Couturat - 1911 - Revue de Métaphysique et de Morale 19 (4):509 - 516.

Analytics

Added to PP
2014-02-11

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

Existential instantiation and normalization in sequent natural deduction.Carlo Cellucci - 1992 - Annals of Pure and Applied Logic 58 (2):111-148.

Add more citations

References found in this work

No references found.

Add more references