11 results
String and graph reduction systems for gene assembly in ciliates
-
- Journal:
- Mathematical Structures in Computer Science / Volume 12 / Issue 2 / April 2002
- Published online by Cambridge University Press:
- 08 May 2002, pp. 113-134
-
- Article
- Export citation
Discernible elements in models for Peano arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-292
- Print publication:
- June 1973
-
- Article
- Export citation
S. V. Áblonskij. Funkcional'nyé postroéniá v mnogoznačnyh logikah (Functional constructions in many-valued logics). Trudy Trét'égo Vséesoúznogo Matématičéskogo Sézda, Moskva, iún'-iúl' 1956, Vol. 2, Moscow1956, pp. 71–73.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 65
- Print publication:
- March 1958
-
- Article
- Export citation
S. I. Adán. Algoritmičéskaá nérazréšmost' problém raspoznavaniá nékotoryh svojstv grupp (The algorithmic unsolvability of the problem of checking certain properties of groups). Doklady Akadémii Nauk SSSR, vol. 103 (1955), pp. 533–535. - S. I. Adán. Konéčnooprédélénnyé gruppy i algoritmy (Finitely generated groups and algorithms). Uspéhi matématičiskih nauk, vol. 12 no. 3 (1957), pp. 248–249.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 54
- Print publication:
- March 1958
-
- Article
- Export citation
Allen Newell and Herbert A. Simon. The logic theory machine. A complex information processing system. Institute of Radio Engineers, Transactions on information theory, vol. IT-2 no. 3 (1956), pp. 61–79.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 331-332
- Print publication:
- September 1957
-
- Article
- Export citation
V. A. Uspénskij. Sistémy péréčislimyh množéstv i ih numéracii (Systems of enumerable sets and their enumerations). Doklady Akadéimii Nauk SSSR, vol. 105 (1955), pp. 1155–1158.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 220
- Print publication:
- June 1957
-
- Article
- Export citation
Two theories with axioms built by means of pleonasms
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 36-38
- Print publication:
- March 1957
-
- Article
- Export citation
V. K. Détlovs. Normal'nyé algorifmy i rékursivnyé funkcii (Normal algorithms and recursive functions). Doklady Akadémii Nauk SSSR, vol. 90 (1953), pp. 723–725.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 408
- Print publication:
- December 1956
-
- Article
- Export citation
A. A. Markov. O népréryvnosti konstruktivnyh funkcij (On the continuity of constructive functions). Uspéhi matématičéskih nauk, vol. 9 no. 3 (1954), pp. 226–230.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 319-320
- Print publication:
- September 1956
-
- Article
- Export citation
S. V. Áblonskij. O supérpoziciáh funkcij algébry logiki (On superpositions of functions of the algebra of logic). Matématičéskij sbornik, n.s. vol. 30 (1952), pp. 329–348.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 175
- Print publication:
- June 1955
-
- Article
- Export citation
S. V. Áblonskij. O funkcional′noj polnoté v tréhznačnom isčislénii (On functional completeness in the three-valued calculus). Doklady Akadémii Nauk SSSR, vol. 95 (1954), pp. 1153–1155.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 175
- Print publication:
- June 1955
-
- Article
- Export citation