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.

Andrzej Mostowski

doi:10.2307/2964098

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

Download Full-text

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

Download Full-text

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

Download Full-text

G. N. Povarov. O funkcional'noj razdélimosti bulévyh funkcij (On functional decomposability of Boolean functions). Doklady Akadémii Nauk SSSR, vol. 94 (1954), pp. 801–803.

Journal of Symbolic Logic ◽

10.2307/2268532 ◽

1956 ◽

Vol 21 (1) ◽

pp. 102-102

Author(s):

Andrzej Mostowski

Keyword(s):

Boolean Functions ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr

Download Full-text

G. A. Šéstopal. O čislé prostyh bazisov bulévyh funkcij. Doklady Akadémii Nauk SSSR, vol. 140 (1961), pp. 314–317. - G. A. Šestopal. On the number of simple bases of Boolean functions. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 2 no. 5 (1961), pp. 1215–1219. - S. V. Áblonskij. O supérpoziciáh funkcij v Рκ (On superpositions of functions in Ρκ). Problémy kibérnétiki, vol. 9 (1963), pp. 337–340. - V. V. Martynúk. Isslédovanié nékotoryh klassov funkcij v mnogoznačnyh logikah (Investigation of some classes of functions in multivalued logics). Problémy kibérnétiki, vol. 3(1960), pp. 49–60. - É. Ú. Zaharov and S. V. Áblonskij. O nékotoryh svojstvah suščéstvénnyh funkcij iz Рκ (On some properties of essential functions from Рκ). Problémy kibérnétiki, vol. 12 (1964), pp. 247–252.

Journal of Symbolic Logic ◽

10.2307/2270477 ◽

1966 ◽

Vol 31 (3) ◽

pp. 501-502

Author(s):

Arto Salomaa

Keyword(s):

English Translation ◽

Boolean Functions ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr ◽

Multivalued Logics

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

F. L. Varpahovskij. О néréalizuémosti dizúnkcii néréalizuémyh formul logiki vyskazyvanij. Doklady Akadémii Nauk SSSR, vol. 161 (1965), pp. 1257–1258. - F. L. Varpahovskij. The nonrealizability of a disjunction of nonrealizable formulas of propositional logic. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 6 No. 2 (1965), pp. 568–570.

Journal of Symbolic Logic ◽

10.2307/2270799 ◽

1967 ◽

Vol 32 (3) ◽

pp. 396-396

Author(s):

D. Nelson

Keyword(s):

English Translation ◽

Propositional Logic ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr

Download Full-text

Petr Vopěnka. Odin metod postroéniá néstandartnoj modéli aksiomatičéskoj téorii množéstv Bérnajsa Gédélá (A method of constructing a non-standard model for the axiomatic set theory of Bernays-Gödel). Doklady Akadémii Nauk SSSR, vol. 143 (1962), pp. 11–12. - Petr Vopěnka. Postroénié modéléj téorii množéstv métodom spéktra (Konstruktion von Modellen der Mengenlehre mit der Methode der Spektren). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 149–160. - Petr Vopěnka. Eléméntarnyé pondtiá v téorii množéstv (Elementare Begriffe in der Mengenlehre). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 161–167. - Petr Vopěnka. Postroénié néstandartnoj nérégulárnoj modéli téorii množéstv (Konstruktion von nichtregulären Nichtstandardmodellen der Mengenlehre). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 229–233. - Petr Vopěnka. Podmodéli modéléj téorii množéstv (Teilmodelle von Modellen der Mengenlehre). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 163–172.

Journal of Symbolic Logic ◽

10.2307/2270736 ◽

1970 ◽

Vol 35 (3) ◽

pp. 470-472

Author(s):

Andrzej Mostowski

Keyword(s):

Standard Model ◽

Set Theory ◽

Nauk Sssr ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr ◽

Axiomatic Set Theory

Download Full-text

Ú. I. Žuravlév. Ob otdélimosti podmnožéstv vérših n-mérnogo édiničnogo kuba. Doklady Akadémii Nauk SSSR, vol. 113 (1957), pp. 264–267. - Iu. I. Zhuravlev. On the separability of subsets of the vertices of an n-dimensional unit cube. English translation of the preceding. Multilith-offset. Morris D. Friedman, Inc., Needham Heights, Mass., c. 1958, 6 pp.

Journal of Symbolic Logic ◽

10.2307/2964791 ◽

1959 ◽

Vol 24 (2) ◽

pp. 188-189

Author(s):

Richard C. Jeffrey

Keyword(s):

English Translation ◽

Nauk Sssr ◽

Unit Cube ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr ◽

Dimensional Unit

Download Full-text