Eugen Mihăilescu. Sur quelques théorèmes de la logique classique. Revue de mathématiques pures et appliquées, vol. 4 no. 2 , pp. 233–248 [Book Review]

Journal of Symbolic Logic 36 (1):173 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271575

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

Review: Eugen Mihailescu, Sur Quelques Theoremes de la Logique Classique. [REVIEW]K. Iseki - 1971 - Journal of Symbolic Logic 36 (1):173-173.
Review: Eugen Mihailescu, Sur Quelques Theoremes dans les Calculs des Propositions Bivalentes. [REVIEW]K. Iseki - 1971 - Journal of Symbolic Logic 36 (1):173-173.
Eugen Mihăilescu. Sur quelques théorèmes dans les calculs des propositions bivalentes. Analele Universitătii C. I. Parhon , seria Acta logica, vol. 3 , pp. 105–115. [REVIEW]K. Iséki - 1971 - Journal of Symbolic Logic 36 (1):173.
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.
Łoś J., Mostowski A., and Rasiowa H.. A proof of Herbrand's theorem. Journal de mathématiques pures et appliquées, Folge 9 Bd. 35 , S. 19–24.Łoś J., Rasiowa H., and Mostowski A.. Addition au travail “A proof of Herbrand theorem.” Journal de mathématiques pures et appliquées, Folge 9 Bd. 40 , S. 129–134. [REVIEW]Kurt Schutte - 1971 - Journal of Symbolic Logic 36 (1):168-169.
Mihăilescu Eugen. Forme normale in calcul propoziţiilor bivalente . Roumanian, with Russian and French summaries. Buletin ştiinţific, Secţia de ştiinţe matematice şi fizice, vol. 8 , pp. 297–327.Mihăilescu Eugen. Recherches sur quelques systèmes du calcul des propositions. French, with Russian and English summaries. Analele Universitáţii C. I. Parkon , Seria Acta logica, vol. 1 , pp. 173–185. [REVIEW]K. IséKi - 1969 - Journal of Symbolic Logic 34 (1):122-122.
Les Principes des mathématiques et le problème des ensembles.Jules Richard - 1905 - Revue Générale des Sciences Pures Et Appliquées 12 (16):541-543.
Krasner Marc. Théorie de la définition. Journal de mathématiques pures et appliquées, ser. 9 vol. 36 , pp. 325–357, and vol. 37 , pp. 53–101. [REVIEW]G. Kreisel - 1959 - Journal of Symbolic Logic 24 (3):230-231.
Church Alonzo. Binary recursive arithmetic. Journal de mathématiques pures et appliquées, ser. 9 vol. 36 , pp. 39–55.Julia Robinson - 1958 - Journal of Symbolic Logic 23 (1):35-35.
Moisil Gr. C.. Sur le syllogisme hypothétique dans la lopique intuitioniste. Journal de mathématiques pures et appliquées, ser. 9 vol. 17 , pp. 197–202. [REVIEW]Alonzo Church - 1938 - Journal of Symbolic Logic 3 (2):118-118.
Moisil Gr. C.. Sur la théorie algébrique de certains circuits électriques. Journal de mathématiques pures et appliquées, vol. 36 no. 4 , pp. 313–324. [REVIEW]Calvin C. Elgot - 1959 - Journal of Symbolic Logic 24 (1):74-74.
Quelques réflexions au sujet des mathématiques appliquées.L. O. Kattsoff - 1966 - Scientia 60 (1):45.
Les journaux de mathématiques dans la première moitié du xixe siècle en Europe1.Norbert Verdier - 2009 - Philosophia Scientiae 13 (2):97-126.
Bouligand G.. Les crises de l'unite dans la Mathématique. Revue générale des sciences pures et appliquées, vol. 52 no. 11-12 , pp. 215–221. [REVIEW]Alonzo Church - 1946 - Journal of Symbolic Logic 11 (3):100-100.
La philosophie scientifique.Hans Reichenbach - 1937 - Travaux du IXe Congrès International de Philosophie 4:86-91.

Analytics

Added to PP
2016-06-30

Downloads
22 (#666,248)

6 months
2 (#1,136,865)

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