Logique, automatique, informatique

& (eds.)
Bucarest,: Éditions de l'Académie de la République Socialiste de Roumanie (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.L655

Links

PhilArchive



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

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

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.
Logique, automatique, informatique.C. Moisill - 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.
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. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (3):625-626.
Leçons de logique algébrique.Haskell B. Curry - 1952 - Paris,: Gauthier-Villars.
Introduction to Model Theory and to the Metamathematics of Algebra.Abraham Robinson - 1963 - Elsevier Publishing Company.
Elementary topics in mathematical logic.Alonzo Church - 1942 - Brooklyn, N.Y. [Brooklyn,: Brooklyn, N.Y. [Brooklyn.
A relációelmélet elemei.I. Gyula Maurer - 1972 - Cluj,: "Dacia,". Edited by Virág, Imre & [From Old Catalog].
Algebraic Systems.Anatolii Ivanovich Mal Tsev - 1973 - Springer Verlag.
Elementárny úvod do modernej matematiky.Vojtech Okrucký - 1971 - Bratislava,: SPN, t. Svornost, ̕.
Theory and Problems of Discrete Mathematics.Seymour Lipschutz - 1976
La logique mathématique pure et appliquée en République Socialiste de Roumanie.Grigore C. Moisil - 1971 - [București],:
A logical introduction to proof.Daniel W. Cunningham - 2012 - New York: Springer.
An algebraic introduction to mathematical logic.D. W. Barnes - 1975 - New York: Springer Verlag. Edited by J. M. Mack.
Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz,Poland, September 1-7, 1979.L. Pacholski, Jędrzej Wierzejewski, J. Wierzejewski & A. J. Wilkie - 1980 - Lecture Notes in Mathematics.

Analytics

Added to PP
2023-06-23

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

No citations found.

Add more citations

References found in this work

No references found.

Add more references