Mihailescu Eugen Gh.. Cercetǎri asupra subsistemelor calculului propoziţiilor . Roumanian, with abstracts in Russian and French. Studii şi cercetӑri matematice, Academia Republicii Populate Romane, Institutul de Matematica, vol. 2 , pp. 1–44 [Book Review]

Journal of Symbolic Logic 17 (4):277-278 (1952)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266630

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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

Eugen Mihăilescu. Formele normale ale functorilor logicei clasice . Roumanian with Russian and French summaries. Studii şi cercetări matematice, vol. 10 , pp. 117–144. [REVIEW]S. Rudeanu - 1970 - Journal of Symbolic Logic 35 (3):465.
Moisil Gr. C.. Contributii la teoria algebricǎ a mecanismelor automate . Roumanian with Russian and French summaries. Buletin ştiintific, Secţiunea de ştiinte matematice şi fizice, vol. 7 , pp. 183–230.Moisil Gr. C. and Ioanin Gh.. Asupra funcţionǎrii schemelor cu butoni reali . Roumanian with Russian and French summaries. Buletin ştiintific, Secţiunea de ştiinte matematice şi fizice, vol. 7 , pp. 33–49.Moisil Gr. C.. Teoria algebricǎ a funcţionǎrii schemelor cu contacte de relee in mai mulţi timpi . Roumanian with Russian and French summaries. Studii şi cercetǎri matematice, vol. 6 , pp. 7–53. [REVIEW]Emil Grosswald - 1972 - Journal of Symbolic Logic 37 (2):414-416.
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.
Eugen Mihăilescu. Forme normale in ansamblul S ). Roumanian with Russian and French summaries. Buletin ştiinţific, Secţia de ştiinţe matematice şi fizice, vol. 8 , pp. 329–361. - Eugen Mihăilescu. Generalization of some normal forms.Revue de mathématiques pures et appliquées, vol. 8 no. 1 , pp. 101–115. [REVIEW]Kiyoshi Iséki - 1970 - Journal of Symbolic Logic 35 (2):329.
Ştefan N. Berţi. Aplicaţii ale teoriei relaţiilor in logica matematică . Studii şi cercetări matematice, vol. 21 , pp. 3–11. [REVIEW]Perry Smith - 1970 - Journal of Symbolic Logic 35 (4):584.
Mihailescu Eugen Gh.. Recherches sur la negation el l'équivalence dans le calcul des propositions. Annales scientiftques de l'Université de Jassy, première partie, vol. 23 , pp. 369–408. See Errata, Eugen Gh. Mihailescu. Recherches sur la negation el l'équivalence dans le calcul des propositions. Annales scientiftques de l'Université de Jassy, première partie, vol. 23 , pp. p. iv. [REVIEW]Albert A. Bennett - 1937 - Journal of Symbolic Logic 2 (4):173-173.
Greniewski Marek. Întrebuinţarea logicilor trivalente în teoria mecanismelor automate. I. Realizarea prin circuite a funcţiilor fundamentale. Roumanian, with Russian and French summaries. Comunicǎrile Academiei Republicii Populare Romîne, vol. 6 , pp. 225–229. [REVIEW]Emil Grosswald - 1959 - Journal of Symbolic Logic 24 (3):257-257.
Mihailescu Eugen Gh.. Recherches sur l'équivalence et la réciprocité dans le calcul des propositions. Annales scientifiques de l'Université de Jassy, première partie, vol. 24 , pp. 116–153. [REVIEW]Alonzo Church - 1938 - Journal of Symbolic Logic 3 (1):55-55.
Mihailescu Eugen Gh.. Recherches sur l'équivalence, la négation et la réciprocité dans le calcul des propositions. Mathematica , vol. 15 , pp. 81–118. [REVIEW]Garrett Birkhoff - 1940 - Journal of Symbolic Logic 5 (3):125-125.
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. [REVIEW]K. Iséki - 1971 - Journal of Symbolic Logic 36 (1):173.

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,207,918)

6 months
3 (#1,208,833)

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