Octavian C. B'sc'. La synthèse des automates finis par la méthode de A. Church. Logique, automatique, informatique, edited by Gr. C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 209–213 [Book Review]

Journal of Symbolic Logic 37 (3):625-626 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272799

Links

PhilArchive



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

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

Vlad Boicescu. Sur les algèbres de Lukasiewicz. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 71–89. - Mihail Cherciu. Filtres de Stone dans les treillis distributifs. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 91–97. - George Georgescu. Les algèbres de Lukasiewicz θ-valentes. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 99–169. - Ioana Petrescu. Algèbres de Morgan injectives. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 171–176. - Luminita State. Quelques propriétés des algebres de Morgan. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste. [REVIEW]Alonzo Church - 1974 - Journal of Symbolic Logic 39 (1):184-184.
Moisil Gr. C.. Les états transitoires dans les circuits séquentiels. Logique, automatique, informatique, edited by Moisil Gr. C., Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest 1971, pp. 215–268. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (3):626.
Review: Octavian C. Basca, La Synthese des automates finis par la methode de A. Church. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (3):625-626.
La logique mathématique pure et apliquée en République Socialiste de Roumanie.Gr C. Moisil - 1972 - Teorema: International Journal of Philosophy 2 (7):35-44.
Review: Gr. C. Moisil, Les Logiques a Plusieurs Valeurs et l'Automatique. [REVIEW]Alonzo Church - 1971 - Journal of Symbolic Logic 36 (3):546-547.
Moisil Gr. C.. Sur le mode problématique. Comptes rendus des séances de l'Académie des Sciences de Roumanie, vol. 2 , pp. 101–103. [REVIEW]Charles A. Baylis - 1938 - Journal of Symbolic Logic 3 (4):162-162.
Moisil Gr. C.. Sur un calcul des théorèmes. Comptes rendus des séances de l'Académie des Sciences de Roumanie, vol. 2 , pp. 221–227. [REVIEW]Paul Henle - 1939 - Journal of Symbolic Logic 4 (3):134-134.
Leonard Greenberg. The ‘is’ of identity in definitions. ETC.: A review of general semantics, vol. 1 , pp. 109–111. - Charles Morris. Science and discourse. Synthese , vol. 5 , pp. 296–308. - Brugt H. Kazemier. Remarks on logical positivism. Synthese , vol. 5 , pp. 327–332. - Arnold Reymond. Congrès de Berne de I'unité et de la méthode dans les sciences. Synthese , vol. 5 , pp. 475–485. - Anonymous. The relativistic standpoint with regard to the foundation of mathematics. Synthese , vol. 5 , pp. 519–521. - Jean-Louis Destouches. Logique el réalité. Synthese , vol. 6 , pp. 300–304. - F. Denk. Sprache, Modell und Exaktheit. Synthese , vol. 5 , pp. 487–494. - P. H. Esser. Inaugural address. English with French abstract. Synthese , vol. 7 , pp. 16–22. - Karl Dürr. Logislik als Forschungsmethode. Synthese , vol. 5 , pp. 27–31. - Louis van Haecht. Les aspects psychologique et logique de I'analyse du langage. Synthese , vol. 5 , pp. 100–108. [REVIEW]Alonzo Church - 1950 - Journal of Symbolic Logic 15 (3):236-236.
Logique, automatique, informatique.C. Moisill - 1974 - Journal of Symbolic Logic 39 (1):184-184.
Rudeanu Sergiu. Independent systems of axioms in lattice theory. Bulletin mathématique de la Société des Sciences Mathématiques de la République Socialiste de Roumanie, n.s. vol. 3 , pp. 475–488. [REVIEW]Donald H. Potts - 1973 - Journal of Symbolic Logic 38 (3):521-521.
Moisil GR. C.. Contributions á I'etude des logiques non-chrysippiennes. I. Un nouveau systeme d'axiomes pour les algébres lukasiewicziennes letra-valentes. Compies rendus des séances de l'Académie des Sciences de Roumanie, t. 5 , pp. 289–293. [REVIEW]Robert Feys - 1948 - Journal of Symbolic Logic 13 (3):160-160.
Review: Gr. C. Moisil, Sur le Syllogisme Hypothetique dans la Logique Intuitioniste. [REVIEW]Alonzo Church - 1938 - Journal of Symbolic Logic 3 (3):118-118.
Moisil Gr. C.. Les logiques à plusieurs valeurs et l'automatique. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959 Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 337–345. [REVIEW]Alonzo Church - 1971 - Journal of Symbolic Logic 36 (3):546-547.
Moisil GR. C.. Remarques sur la logique modale du concept. Annales de l'Académie Roumaine, Mémoires de la section scientifique, ser. 3 vol. 16 pp. 975–1012. [REVIEW]A. R. Turquette - 1948 - Journal of Symbolic Logic 13 (3):161-162.
Le résumé et le titrage automatique partagent-ils les mêmes objectifs?Cédric Lopez, Violaine Prince & Mathieu Roche - 2013 - Corela. Cognition, Représentation, Langage 11 (1).

Analytics

Added to PP
2016-06-30

Downloads
26 (#607,004)

6 months
1 (#1,463,894)

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