Zemanek Heinz. Une machine pour l'algèbre des contacts. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 232–234 [Book Review]

Journal of Symbolic Logic 25 (2):163-163 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964221

Links

PhilArchive



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

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

Nicolas Rouche. Recherche d'une algèbre logique continue. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 90–99. - Wolfe Mays. Cybernetic models and thought processes. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 103–110. - Henryk Greniewski. Logique et cybernétique. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 117–119. - M. O. Rabin and D. Scott. Finite automata and their decision problems. IBM journal of research and development, vol. 3 , pp. 114–125. - J. C. Shepherdson. The reduction of two-way automata to one-way automata. IBM journal of research and development, vol. 3 , pp. 198–200. [REVIEW]Calvin C. Elgot - 1960 - Journal of Symbolic Logic 25 (2):163-164.
Porte Jean. Une simplification de la théorie de Turing. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 251–280. [REVIEW]Clifford Spector - 1960 - Journal of Symbolic Logic 25 (2):162-162.
Beer Stafford. Operational research and cybernetics. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 29–45. [REVIEW]Norman M. Martin - 1960 - Journal of Symbolic Logic 25 (2):162-162.
Kalmár László. A new principle of construction of logical machines. 2e Congrès International de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur 1960, pp. 458–463. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):516-516.
Porte Jean. Quelques pseudo-paradoxes de la “calculabilité effective.” 2e Congrès Internationale de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur 1960, pp. 332–334.Kalmár László. An argument against the plausibility of Church's thesis. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 72–80.Peter Rózsa. Rekursivität und Konstruktivität. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 226–233.Mendelson Elliott. On some recent criticism of Church's thesis. Notre Dame journal of formal logic, vol. 4 no. 3 , pp. 201–205. [REVIEW]Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.
Review: Heinz Zemanek, Une Machine Pour l'Algebre des Contacts. [REVIEW]Clifford Spector - 1960 - Journal of Symbolic Logic 25 (2):163-163.
Turán Paul. On the work of Alan Baker. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 3–5.Baker Alan. Effective methods in the theory of numbers. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 19–26. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (3):606-606.
Rabin Michael O.. Decidability and definability in second-order theories. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 239–244. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):623-623.
La Cybernétique et l'humain. Par Aurel David. Idées, NRF, Paris, 1965. 184 pages.Cybernétique et transcendance. Par Bernard Morel “Investigations”, La Colombe, Ed. du Vieux Colombier, Paris, 1964. [REVIEW]Maurice Lagueux - 1966 - Dialogue 4 (4):563-566.
A. Heyting. Logique et intuitionnisme. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 75–82. - G. Kreisel, Abraham Robinson, Ingebrigt Johansson, Georges Kurepa, A. Heyting. Discussion. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 82–83. [REVIEW]Leon Henkin - 1958 - Journal of Symbolic Logic 23 (1):33-33.
Beth E. W.. Observations métamathématiques sur les structures simplement ordonnées. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 29–35.Robinson A. and Beth E. W.. Discussion. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, p. 35. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (1):34-35.
Lorenzen Paul. Dar, Aktual-Unendliche in der Mathematik. Philosophia naturalis, vol. 4 , pp. 1–11.Lorenzen Paul. Die Rolle der Logik in der Grundlagenkrisis der Analysis. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris–25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 65–73.Kurepa G., Kreisel G., Robinson A.. Discussion. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris–25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 73–74. [REVIEW]A. Heyting - 1957 - Journal of Symbolic Logic 22 (4):368-368.
Robinson Abraham. L'application de la logique formelle aux mathématiques. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris−25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed , Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 51–63.Kurepa G., Kreisel G., Robinson A.. Discussion. Applications scientifiques de la logique mathéatique, Actes du 2e Colloque International de Logique Mathématique, Paris−25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed , Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, p. 64. [REVIEW]Robert L. Vaught - 1958 - Journal of Symbolic Logic 23 (2):218-219.
Bovesse et Grosfils . Répertoire des archives notariales de la province de Namur, XVIe-XXe siècle. Tome I : Arrondissement de Namur. [REVIEW]Philippe Cullus - 1980 - Revue Belge de Philologie Et D’Histoire 58 (1):259-260.
Dussart . Namur et le Namurois ancien et moderne dans les collections des bibliothèques publiques de la province de Namur. Essai de catalogue collectif. [REVIEW]D. Van Overstraeten - 1995 - Revue Belge de Philologie Et D’Histoire 73 (2):556-558.

Analytics

Added to PP
2016-06-30

Downloads
9 (#1,228,347)

6 months
2 (#1,240,909)

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