44 results
Klaus Heidler, Hans Hermes, and Friedrich-K. Mahn. Rekursive Funktionen. Bibliographisches Institut-Wissenschaftsverlag, Mannheim, Vienna, and Zurich, 1977, vii + 236 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 165-166
- Print publication:
- March 1981
-
- Article
- Export citation
Frederic B. Fitch. Algebraic simplification of redundant sequential circuits. Synthese, vol. 15 (1963), pp. 155–166. Reprinted in Form and strategy in science, Dordrecht 1964, pp. 191-202.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 615
- Print publication:
- December 1975
-
- Article
- Export citation
A. S. Kuzičév. Diagrammy Vénna. Istoriá i priménéniá. (Venn diagrams. History and applications.) Izdatél'stvo “Nauka,” Moscow1968, 252 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 469-470
- Print publication:
- September 1975
-
- Article
- Export citation
V. I. Klévačév. O nékotoryh sistémah, polnyh υ Pk (On a proof of completeness in Pk of simultaneous functions k − 2, ˜x, x1 ⊃ x2). Kibérnétika (Kiev), no. 5 (1970), pp. 139–140.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 465-466
- Print publication:
- September 1975
-
- Article
- Export citation
L. Henkin. Boolean representation through propositional calculus. Fundamenta mathematicae, vol. 41 no. 1 (1954), pp. 89–96. - J. Łoś. Remarks on Henkin's paper: Boolean representation through propositional calculus. Fundamenta mathematicae, vol. 44 no. 1 (1957), pp. 82–83.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 521-522
- Print publication:
- September 1973
-
- Article
- Export citation
G. N. Povarov. Matématiko-logičéskoe isslédovanié sintéza kontaktnyh shém s odnim vhodom i k vyhodami (A mathematical theory for the synthesis of contact networks with one input and k outputs). A reprint of XXXV 175 with minor corrections. Logičéskié isslédovaniá, Sbornik statéj, Izdatél′stvo Akadémii Nauk SSSR, Moscow1959, pp. 379–405.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 343-344
- Print publication:
- June 1973
-
- Article
- Export citation
Glenn James and Robert C. James, editors. Mathematics dictionary. D. Van Nostrand Company, Inc., Toronto, New York, and London, 1949, v + 432 pp. - Glenn James and Robert C. James, editors. Mathematics dictionary. Second, revised and enlarged edition, with multilingual index added. D. Van Nostrand Company, Inc., Princeton, New Jersey, Toronto, New York, and London, 1959, 546 pp. - Robert C. James and Edwin F. Beckenbach. James & James mathematics dictionary. Third edition. D. Van Nostrand Company, Inc., Princeton, New Jersey, London, Toronto, and Melbourne, 1968, vii + 517 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 150-151
- Print publication:
- March 1973
-
- Article
- Export citation
Ú. V. Matiásévič Dvé rédukcii 10-j problémy Gilbérta. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 144–158. - Yu. V. Matiyasevich. Two reductions of Hilbert's tenth problem. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, pp. 68–74.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 604-605
- Print publication:
- September 1972
-
- Article
- Export citation
Marc A. Aiserman, Leonid A. Gusev, Lev I. Rozonoer, Irina M. Smirnova, and Aleksey A. Tal. Logic, automata, and algorithms. Revised English translation of XXXI 109 by Scripta Technica, Inc., George M. Kranc, translation editor. Academic Press, New York and London1971, xii + 433 pp. - Mark Aronowitsch Aiserman, L. A. Gussew, L. I. Rosonoer, I. M. Smirnova, and A. A. Tal. Logik—Automaten—Algorithmen. Revised German translation of the same by Rudolf Herschel. R. Oldenbourg Verlag, Munich and Vienna1967, X + 431 pp. - M. A. Ajzerman, L. A. Gusev, L. I. Rozonoer, I. M. Smirnova, and A. A. Tal. Logika, automaty a algoritmy. Czech translation of the same by Jaroslav Volčik, Miroslav Mleziva, and Antonín Mykiska. Československá Akademie Věd, Prague1971, 407 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 625
- Print publication:
- September 1972
-
- Article
- Export citation
Ron Klinger. The paradox of counter-conditional and its dissolution. Jurimetrics journal, vol. 11 no. 4 (1971), pp. 189–193.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 630
- Print publication:
- September 1972
-
- Article
- Export citation
Ju. V. Matijasevič. Diophantine representation of recursively enumerable predicates. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London1971, pp. 171–177.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 606
- Print publication:
- September 1972
-
- Article
- Export citation
Ú. V. Matiásévič. Diofantovo prédstavlénié množéstva prostyh čisél. Doklady Akadémii Nauk SSSR, vol. 196 (1971), pp. 770–773. - Ju. V. Matijasevič. Diophantine representation of the set of prime numbers. English translation of the preceding by R. N. Gross, with an Addendum. Soviet mathematics, vol. 12 no. 1 (1971), pp. 249–254.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 607
- Print publication:
- September 1972
-
- Article
- Export citation
Ú. V. Matiásévič. Sváz' sistém uravnénij v slovah i dlinah s 10-j problémoj Gllbérta. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 132–144. - Yu. V. Matiyasevich. The connection between Hilbert's tenth problem and systems of equations between words and lengths. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part. II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London1970, pp. 61–67. See Errata, Studies in constructive mathematics and mathematical logic, Part III, ibid., vol. 16, Consultants Bureau, New York-London 1971, p. 96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 604
- Print publication:
- September 1972
-
- Article
- Export citation
V. I. Kolpakov. Océnka čisla pokrytij n-mérnogo kuba (Estimate of the number of covers of the n-dimensional cube). Diskrétnyj analiz, no. 14 (1969), pp. 16–17.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 627
- Print publication:
- September 1972
-
- Article
- Export citation
Ú. V. Matiásévič Arifmétičéskié prédstavléniá stépénéj. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 159–165. - Yu. V. Mattyasevich. Arithmetic representations of powers. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, pp. 75–78.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 605
- Print publication:
- September 1972
-
- Article
- Export citation
Charles K. CobbJr., and Daniel P. Thompson. Law, logic, and rationality. Jurimetrics journal, vol. 11 no. 1 (1970), pp. 1–12.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 630
- Print publication:
- September 1972
-
- Article
- Export citation
A. Markov. O nérazréšimosti nékotoryh problém topologii (On the unsolvability of some problems in topology). Doklady Akadémii Nauk SSSR, vol. 123 (1958), pp. 978–980.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
- Print publication:
- March 1972
-
- Article
- Export citation
Erwin Engeler. Algorithmic properties of structures. Mathematical systems theory, vol. 1 (1967), pp. 183–195.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
- Print publication:
- March 1972
-
- Article
- Export citation
T. G. McLaughlin. A theorem on productive functions. Proceedings of the American Mathematical Society, vol. 14 (1963), p. 444.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 196
- Print publication:
- March 1972
-
- Article
- Export citation
Richard Tursman. The shortest axioms of the implicational calculus. Notre Dame journal of formal logic, vol. 9 no. 4 (for 1968, pub. 1969), pp. 351–358.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 690
- Print publication:
- December 1971
-
- Article
- Export citation