V. I. Šéstakov. Predstavlénié haraktéristiçeskih funkcij prédložénif posrédstvom vyražénij, réalizuémyh réléjno-kontaktnymi shémami (Representation of characteristic functions of propositions by expressions realizable by relay-contact circuits). Russian with English summary. Izvéstiá Akadémii Nauk SSSR (Bulletin de l'Académie des Sciences de l'URSS), Sérià matématiěskaá (Série mathématique), vol. 10 (1946), pp. 529–554.

Andrzej Mostowski

doi:10.2307/2266490

V. I. Šéstakov. Predstavlénié haraktéristiçeskih funkcij prédložénif posrédstvom vyražénij, réalizuémyh réléjno-kontaktnymi shémami (Representation of characteristic functions of propositions by expressions realizable by relay-contact circuits). Russian with English summary. Izvéstiá Akadémii Nauk SSSR (Bulletin de l'Académie des Sciences de l'URSS), Sérià matématiěskaá (Série mathématique), vol. 10 (1946), pp. 529–554.

Journal of Symbolic Logic ◽

10.2307/2266490 ◽

1947 ◽

Vol 12 (4) ◽

pp. 135-135

Author(s):

Andrzej Mostowski

Keyword(s):

Nauk Sssr ◽

English Summary ◽

Characteristic Functions ◽

Akademii Nauk Sssr ◽

Relay Contact

A. G. Lunc. Sintéz i analiz réléjno-kontaktnyh shém s pomošč'ú haraktérističéskih funkcij (Synthesis and analysis of relay-contact networks with the aid of characteristic functions). Dohlady Akadémii Nauk SSSR, vol. 75 (1950), pp. 201–204.

Journal of Symbolic Logic ◽

10.2307/2963953 ◽

1957 ◽

Vol 22 (4) ◽

pp. 378-378

Author(s):

Zdzisław Pawlak

Keyword(s):

Nauk Sssr ◽

Characteristic Functions ◽

Akademii Nauk Sssr ◽

Contact Networks ◽

Relay Contact

G. N. Povarov. Matématičskaá téoriá sintéza kontaktnyh (1, k)-polúsnikov (Mathematical theory of the synthesis of (1, k)-terminal relay-contact networks). Doklady Akadémii Nauk SSSR, vol. 100 (1955), pp. 909–912.

Journal of Symbolic Logic ◽

10.2307/2269148 ◽

1956 ◽

Vol 21 (3) ◽

pp. 332-332

Author(s):

Zdzisław Pawlak

Keyword(s):

Mathematical Theory ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Contact Networks ◽

Relay Contact ◽

Doklady Akademii Nauk Sssr

G. N. Povarov. O sintézé kontaktnyh mnogopolúsnikov. (On the synthesis of n-terminal relay-contact networks). Doklady Akadémii Nauk SSSR, vol. 94 (1954), pp. 1075–1078.

Journal of Symbolic Logic ◽

10.2307/2269147 ◽

1956 ◽

Vol 21 (3) ◽

pp. 331-332

Author(s):

Zdzisław Pawlak

Keyword(s):

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Contact Networks ◽

Relay Contact ◽

Doklady Akademii Nauk Sssr

V. I. Šéstakov. O dvojnoj arifmétičéskoj intérprétacii tréhznačnogo isčisléniá vyskazyvanij, ispol'zuémoj pri modélirovanii elogo isčisléniá posrédstvom réléjno-kommutatornyh shém. Priménénié logiki v nauké i téhnike, Izdatél'stvo Akadémii Nauk SSSR, Moscow1960, pp. 341–376. - V. I. Šestakov. A dual arithmetic interpretation of the 3-valued propositional calculus utilized in the simulation of this calculus by relay-contact networks. English translation of the preceding by Leo Ebner. American Mathematical Society translations, ser. 2 vol. 48 (1965), pp. 45–72.

Journal of Symbolic Logic ◽

10.2307/2272590 ◽

1972 ◽

Vol 37 (1) ◽

pp. 187-187

Author(s):

Alan Rose

Keyword(s):

English Translation ◽

Nauk Sssr ◽

American Mathematical Society ◽

Propositional Calculus ◽

Mathematical Society ◽

Akademii Nauk Sssr ◽

Contact Networks ◽

Relay Contact

Howard H. Aiken, William Burkhart, Theodore Kalin, Peter F. Strong, and others (Staff of the Computation Laboratory of Harvard University). Sintéz eléktronnyh vyčislitél'nyh i upravláúščih shém. Russian translation of XVIII 347(2) by É. I. Mašonov, L. É. Sadovskij, and M. A. Hatagurov, edited by V. I. Šéstakov. Izdatél'stvo Inostrannoj Litératury, Moscow1954, 359 pp. - G. N. Povarov. Review of the preceding. Russian. Avtomatika i téléméhanika, vol. 15 (1954), pp. 567–569. - M. A. Gavrilov. Téoriá réléjno-kontaktnyh shém. Analiz i sintéz struktury réléjno-kontaktnyh shém. (Theory of relay-contact networks. Analysis and synthesis of the structure of relay-contact networks.). Akadémiá Nauk SSSR, Institut Avtomatiki i Téléméhaniki. Izdatél'stvo Akadémii Nauk SSSR, Moscow-Leningrad1950, 302 pp.

Journal of Symbolic Logic ◽

10.2307/2269146 ◽

1956 ◽

Vol 21 (3) ◽

pp. 331-331

Author(s):

Zdzisław Pawlak

Keyword(s):

Russian Translation ◽

Nauk Sssr ◽

Harvard University ◽

Akademii Nauk Sssr ◽

Contact Networks ◽

Relay Contact ◽

Analysis And Synthesis ◽

Networks Analysis

G. N. Povarov. K izučéniú simmétričéskih Bulévyh funkcij s točki zréniá téorii réléjno-kontaktnyh shém (Concerning the study of symmetric Boolean functions from the point of view of the theory of relay-contact circuits). Doklady Akadémii Nauk SSSR, vol. 104 (1955), pp. 183–185.

Journal of Symbolic Logic ◽

10.2307/2964098 ◽

1957 ◽

Vol 22 (1) ◽

pp. 99-99 ◽

Cited By ~ 1

Author(s):

Andrzej Mostowski

Keyword(s):

Boolean Functions ◽

Nauk Sssr ◽

Point Of View ◽

Akademii Nauk Sssr ◽

Symmetric Boolean Functions ◽

Relay Contact ◽

Doklady Akademii Nauk Sssr

A. G. Lunc. Priložénié matričnoj buléskoj algébry k analizu i sintézu réléjno-kontaktnyh shém (The application of Boolean matrix algebra to the analysis and synthesis of relay-contact networks). Doklady Akadémii Nauk SSSR, vol. 70 (1950), pp. 421–423.

Journal of Symbolic Logic ◽

10.2307/2268536 ◽

1956 ◽

Vol 21 (1) ◽

pp. 104-104

Author(s):

Zdzisław Pawlak

Keyword(s):

Matrix Algebra ◽

Nauk Sssr ◽

Boolean Matrix ◽

Akademii Nauk Sssr ◽

Contact Networks ◽

Relay Contact ◽

Doklady Akademii Nauk Sssr ◽

Analysis And Synthesis

A. Š. Bloh. Sintéz réléjno-kontaktnyh shém (The synthesis of relay-contact circuits). Doklady Akadémii Nauk SSSR, vol. 117 (1957), pp. 609–612.

Journal of Symbolic Logic ◽

10.2307/2269650 ◽

1965 ◽

Vol 30 (3) ◽

pp. 379-380

Author(s):

Andrzej Rowicki

Keyword(s):

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Relay Contact ◽

Doklady Akademii Nauk Sssr

M. L. Cétlin. Matričnyj métod analiza i sintéza eléktronno-impul'snyh i réléno-kontaktnyh (néprimitivnyh) shém (Matrix method of analysis and synthesis of pulse-electronic and relay-contact (non-primitive) circuits). Doklady Akadémii Nauk SSSR, vol. 117 (1957), pp. 979–982.

Journal of Symbolic Logic ◽

10.2307/2271302 ◽

1967 ◽

Vol 32 (1) ◽

pp. 134-134

Author(s):

Z. Pawlak

Keyword(s):

Matrix Method ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Relay Contact ◽

Doklady Akademii Nauk Sssr ◽

Analysis And Synthesis

M. I. Slukhovskii. Russkaia biblioteka XVI–XVII vv. [The Russian Library in the 16th and 17th Centuries] Moscow: Izdatel'stvo “Kniga.” 1973. Pp. 252 and S. P. Luppov. Knigd v Rossii v pervoi chetverti XVIII veka [The Book in Russia in the First Quarter of the 18th Century]. (Akademiia Nauk SSSR, Ordena Trudovogo Krasnogo Znameni Biblioteka Akademii Nauk SSSR.) Leningrad: Izdatel'stvo “Nauka.” 1973. Pp. 372

The American Historical Review ◽

10.1086/ahr/81.1.183-a ◽

1976 ◽

Keyword(s):

18Th Century ◽

Nauk Sssr ◽

Akademii Nauk Sssr