Funding Data Link References Status API Help
Page 1 of 21 results
Sort by: relevance publication year

Zaharova É. Ú.. Kritérij polnoty sistém funkcij iz Pκ (Criteria of completeness for systems of functions from Pκ). Problémy kibérnétiki, vol. 18 (1967), pp. 5–10.

Journal Article published Jan 1969 in The Journal of Symbolic Logic volume 33 issue 04 on pages 606 to 607

Authors: Ivo Rosenberg

Łoś Jerzy. The algebraic treatment of the methodology of elementary deductive systems (Algebraizacja metodologii elementarnych systemów dedukcyjnych) (Algébraizaciá métodologii eléméntarnyh déduktivnyh sistém). English, with summaries in Polish and Russian. Studia logica, vol. 2 (1955), pp. 151–212. See Errata, ibid., p. 329.

Journal Article published Jun 1956 in The Journal of Symbolic Logic volume 21 issue 02 on pages 193 to 194

Authors: Leon Henkin

Šéstakov V. I.. Algébraičéskij métod sintéza mnogotaktnyh réléjnyh sistém (An algebraic method for the synthesis of switching circuits). Doklady Akadéimii Nauk SSSR, vol. 99 (1954), pp. 987–990.

Journal Article published Jun 1957 in The Journal of Symbolic Logic volume 22 issue 02 on page 221

Authors: Andrzej Wakulicz

Šéstakov V. I.. Algébraičéskij métod sintéza mnogotaktnyh sistém r-pozicionnyh rélé (An algebraic method for the synthesis of r-positional switching circuits). Doklady Akadémii Nauk SSSR, vol. 112 (1957), pp. 62–65.

Journal Article published Sep 1957 in The Journal of Symbolic Logic volume 22 issue 03 on page 333

Authors: Gene F. Rose

Šéstakov V. I.. Algébraičéskij métod analiza avtonomnyh sistém dvuhpozicionnyh rélé. I. (An algebraic method of analysis of autonomic systems of two-positional relays. I.) Avtomatika i téléméhanika, vol. 15 (1954), pp. 107–123.

Journal Article published Jun 1958 in The Journal of Symbolic Logic volume 23 issue 02 on pages 231 to 233

Authors: A. Wakulicz

Kogalovskij S. R.. O kompaktnyh klassah algébraičéskih sistém. Russian original of XXXIX 367(24). Algébra i logika, vol. 7 no. 2 (1968), pp. 27–41.

Journal Article published Jun 1974 in The Journal of Symbolic Logic volume 39 issue 02 on page 339

Authors: Leszek Pacholski

Šéstákov V. I.. Pérfohartočnyj métod sintéza mnogotaktnyh sistém mnogopozicionnyh rélé (Punched card synthesis of sequential switching systems of multi-position relays). Avtomatika i téléméhanika, vol. 20 (1959), pp. 1496–1506.

Journal Article published Mar 1966 in The Journal of Symbolic Logic volume 31 issue 01 on page 140

Authors: Andrzej Harland

Markov A.. Névozmožnost‚ nékotoryh algorifmov v léorii associativnyh sistém (Impossibility of certain algorithms in the theory of associative systems). Doklady Akadémii Nauk SSSR, vol. 55 (1947), pp. 587–590.

Journal Article published Mar 1948 in The Journal of Symbolic Logic volume 13 issue 01 on pages 52 to 53

Authors: Andrzej Mostowski

Markov A.. Névožmoinost' nékotoryh algoritmov v téorii associativnyh sistém (Impossibility of certain algorithms in the theory of associative systems). Doklady Akadémii Nauk SSSR, vol. 77 (1951), pp. 19–20.

Journal Article published Sep 1951 in The Journal of Symbolic Logic volume 16 issue 03 on page 215

Authors: Andrzej Mostowski

Markov A.. Névozmožnost' algorifmov raspoznavaniá nékotoryh svojstv associativnyh sistém (Impossibility of algorithms for recognizing some properties of associative systems). Doklady Akadémii Nauk SSSR, vol. 77 (1951), pp. 953–956.

Journal Article published Jun 1952 in The Journal of Symbolic Logic volume 17 issue 02 on pages 151 to 152

Authors: Andrzej Mostowski

Maslov S. Yu.. Theory of deductive systems and its applications. English translation by Gelfond Michael and Lifschitz Vladimir of Téoriá déduktivnyh sistém i éé priménéniá. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1987, x + 151 pp.

Journal Article published Dec 1988 in The Journal of Symbolic Logic volume 53 issue 04 on pages 1260 to 1261

Authors: Daniel J. Dougherty

Markov A.. Névozmožnost‚ nékotoryh algorifmov v léorii associativnyh sistém (Impossibility of certain algorithms in the theory of associative systems). Doklady Akadémii Nauk SSSR, vol. 58 (1947), pp. 353–356.

Journal Article published Mar 1948 in The Journal of Symbolic Logic volume 13 issue 01 on page 53

Authors: Andrzej Mostowski

Mučnik A. A.. Izomorfizm sistém rékursivno péréčislimyh množéstv s efféktivnymi svojstvami. Trudy Moskovskogo Matématičéskogo Obščéstva, Vol. 7 (1958), pp. 407–412.Mučnik A. A.. Isomorphism of systems of recursively enumerable sets with effective properties. English translation of the preceding by Mendelson E.. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 7–13.

Journal Article published Oct 1967 in The Journal of Symbolic Logic volume 32 issue 03 on pages 393 to 394

Authors: A. H. Lachlan

Falévič B. Á.. Novyj métod dokazatél'stva téorém népolnoty dlá sistém s pravilom Karnapa i égo Priložénié K voprosu vzaimootnošéniá klassičéskogo i konstruktivnogo analizov (New Method of proof of the incompleteness theorem for systems with Carnap's rule and its application to the question of the relation between classical and constructive analysis). Doklady Akadémii Nauk SSSR, vol. 120 (1958), pp. 1210–1213.

Journal Article published Oct 1967 in The Journal of Symbolic Logic volume 32 issue 03 on page 419

Authors: A. Kostinsky

Andon F. I.. Ob odnom podhodé k minimizacii sistém bulévyh funkcij (On one approach to the minimization of systems of Boolean functions). Kibérnétika (Kiev), no. 5 (1966), pp. 44–48.Andon F. I.. Algoritm uproščéniá d.n.f. bulévyh funckij (A simplification alogrithm of a disjunctive normal form of the Boolean functions). Kibérnétika (Kiev), no. 6 (1966), pp. 12–14.

Journal Article published Jun 1970 in The Journal of Symbolic Logic volume 35 issue 02 on page 330

Authors: Á. Ádám

Šéstakov V. I.. Pérfokartočnyj métod sintéza mnogotaktnyh réléjnyh sistém (Punched cards synthesis method of switching systems.) Avtomatika i téléméhanika, vol. 19 (1958), pp. 592–605.Shestakov V. I.. A punched card method for synthesizing relay systems. English translation of the preceding. Automation and remote control, vol. 19 no. 6 (1959), pp. 581–592.

Journal Article published Sep 1959 in The Journal of Symbolic Logic volume 24 issue 03 on page 259

Authors: Edward F. Moore

Markov A. A.. Ob invérsionnoj složnosti sistém funkcij. Doklady Akadémii Nauk SSSR, vol. 116 (1957), pp. 917–919.Markov A. A.. On the inversion complexity of a system of functions. English translation of the preceding by Morris D. Friedman. Journal of the Association for Computing Machinery, vol. 5 (1958), pp. 331–334.

Journal Article published Sep 1965 in The Journal of Symbolic Logic volume 30 issue 03 on pages 378 to 379

Authors: E. N. Gilbert

Maslov S. Ú.. Téoriá déduktivnyh sistém i éé priménéniá. Russian original of the preceding. Kibérnétika. Radio i Savz', Moscow 1986, 135 pp.Stroyan K. D. and Bayod José Manuel. Foundations of infinitesimal stochastic analysis. Studies in logic and the foundations of mathematics, vol. 119. North-Holland, Amsterdam, New York, and Oxford, 1986, xii + 478 pp.

Journal Article published Dec 1988 in The Journal of Symbolic Logic volume 53 issue 04 on pages 1261 to 1262

Authors: Nigel Cutland

MurskiĬ V. L.. Nondiscernible properties of finite systems of identity relations. Soviet mathematics, vol. 12 (1971), pp. 183–186. (English translation by D. M. Pritzker of Néraspozna-vaémyé svojstva konéčnyh sistém toždéstvénnyh sootnošénij, Doklady Akademie Nauk SSSR, vol. 196 (1971), pp. 520–522.)McNulty George F.. The decision problem for equational bases of algebras. Annals of mathematical logic, vol. 10 (1976), pp. 193–259.McNulty George F.. Undecidable properties of finite sets of equations. The journal of symbolic logic, vol. 41 (1976), pp. 589–604.

Journal Article published Dec 1982 in The Journal of Symbolic Logic volume 47 issue 04 on pages 903 to 904

Authors: S. Burris

Jaśkowski S.. Example of a class of systems of ordinary differential equations having no decision method for existence problems. Bulletin de l'Académie Polonaise des Sciences, classe troisième, vol. 2 (1954), pp. 155–157.Jaśkowski S.. Primér klassa sistém obyknovénnyh différéncial′nyh uravnénij, né iméúščégo algorifma razréšmosti dlá problém o suščéstvovanii. Russian version of the preceding. Búllétén′ Pol′skoj Akadémii Nauk, Otd. 3, vol. 2 (1954), pp. 153–155.

Journal Article published Mar 1963 in The Journal of Symbolic Logic volume 28 issue 01 on page 103

Authors: A. Grzegorczyk