Review: V. I. Sestakov, Mathematical Logic and Automation [Book Review]

Journal of Symbolic Logic 29 (1):51-51 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

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

Review: V. I. Sestakov, Punched Card Synthesis of Sequential Switching Systems of Multi-Position Relays. [REVIEW]Andrzej Harland - 1966 - Journal of Symbolic Logic 31 (1):140-140.
Review: V. I. Sestakov, On the Transformation of a Periodic Sequence into a Recursive One. [REVIEW]Andrzej Wakulicz - 1957 - Journal of Symbolic Logic 22 (2):220-220.
Review: V. I. Sestakov, An Algebraic Method for the Synthesis of Switching Circuits. [REVIEW]Andrzej Wakulicz - 1957 - Journal of Symbolic Logic 22 (2):221-221.
Review: V. I. Sestakov, Representation of Characteristic Functions of Propositions by Expressions Realizable by Relay-Contact Circuits. [REVIEW]Andrzej Mostowski - 1947 - Journal of Symbolic Logic 12 (4):135-135.
Automation in language translation and theorem proving.P. Braffort & F. van Scheepen (eds.) - 1968 - Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information.
Review: V. I. Sestakov, An Algebraic Method for the Synthesis of r-Positional Switching Circuits. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (3):333-333.
A simple application of discrete Markov chains to mathematical logic.S. C. van Westrhenen - 1968 - In P. Braffort & F. van Scheepen (eds.), Automation in language translation and theorem proving. Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information.
Review: V. I. Sestakov, The Modeling of the Propositional Calculus by Means of Simple Four-Terminal Networks. [REVIEW]Zdzislaw Pawlak - 1957 - Journal of Symbolic Logic 22 (3):332-333.
Review: Alice Mary Hilton, Logic, Computing Machines, and Automation. [REVIEW]Robert F. Barnes - 1973 - Journal of Symbolic Logic 38 (2):341-342.
Review: V. I. Sestakov, Leo Ebner, A Dual Arithmetic Interpretation of the 3-Valued Propositional Calculus Utilized in the Simulation of This Calculus by Relay-Contact Networks. [REVIEW]Alan Rose - 1972 - Journal of Symbolic Logic 37 (1):187-187.
Review: F. H. George, Automation Cybernetics and Society. [REVIEW]H. B. Enderton - 1971 - Journal of Symbolic Logic 36 (3):544-544.
A quantum-mechanical automation.David Z. Albert - 1987 - Philosophy of Science 54 (4):577-585.
V. I. Šéstakov. Algébra dvuhpolûsnyh shém, postroénnyh isklûčitél'no iz dvuhpolúsnikov ). Žurnal téhničéskoj fiziki, vol. 11 no. 6 , pp. 532–549. - V. I. Šéstakov. Algébra dvuhpolûsnyh shém, postroénnyh isklûčitél'no iz dvuhpolúsnikov ). Avtomatika i téléméhanika, 1941, pp. 15–24. [REVIEW]Zdzisław Pawlak - 1956 - Journal of Symbolic Logic 21 (4):399-399.

Analytics

Added to PP
2013-11-22

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