13630 results in The Journal of Symbolic Logic
N. I. Stážkin. Logičéskoé naslédstvo P. S. Poréckogo (The logical legacy of P. S. Porěckij). Očérki po istorii logiki v Rossii (Essays in the history of logic in Russia), Izdatél'stvo Moskovskogo Univérsitéta, Moscow1962, pp. 126–154.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 367-368
- Print publication:
- September 1965
-
- Article
- Export citation
László Kalmár. Another proof of the Gödel-Rosser incompletability theorem. Acta scientiarum mathetnaticarum (Szeged), Bd. 12A (1950), S. 38–43.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 386
- Print publication:
- September 1965
-
- Article
- Export citation
S. I. Adán. Nérazréšimost′ nékotoryh algoritmičéskih problém térii grupp (Unsolvability of certain algorithmic problems in the theory of groups). Trudy Moskovskogo Matématičéskogo Obščéstva, vol. 6 (1957), pp. 231–298.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 391
- Print publication:
- September 1965
-
- Article
- Export citation
Daniel Ponasse. Structure prébooléienne. Ensemble prébooléien universel associé à un ensemble quelconque. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 248 (1959), pp. 899–902. - Daniel Ponasse. Anneau booléien universel associé à un ensemble quelconque. Applications au calcul propositionnel. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 248 (1959), pp. 1093–1096.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 378
- Print publication:
- September 1965
-
- Article
- Export citation
J. C. Shepherdson. A non-standard model for a free variable fragment of number theory. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 12 (1964), pp. 79–86.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 389-390
- Print publication:
- September 1965
-
- Article
- Export citation
P. H. Nidditch. The development of mathematical logic. Monographs in modern logic. Routledge & Kegan Paul, London, and The Free Press of Glencoe, New York, 1962, viii + 88 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 357
- Print publication:
- September 1965
-
- Article
- Export citation
John Patrick Day. Inductive probability. Routledge & Kegan Paul, London, and The Humanities Press, Inc., New York, 1961, xvi + 336 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 364-365
- Print publication:
- September 1965
-
- Article
- Export citation
Bolesław Sobociński. Six new sets of independent axioms for distributive lattices with O and I. Notre Dame journal of formal logic. vol. 3 (1962), pp. 187–192.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 377-378
- Print publication:
- September 1965
-
- Article
- Export citation
JSL volume 30 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- September 1965
-
- Article
-
- You have access
- Export citation
Heinz Zemanek. Automaten und Denkprozesse. German, with summaries in German, English, and French. Digitale Informationswandler — Digital information processors, edited by Friedr Walter Hoffmann. Vieweg & Sohn, Braunschweig, and Interscience Publishers, New York, 1962, pp. 1–66.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 382
- Print publication:
- September 1965
-
- Article
- Export citation
N. I. Stážkin and V. D. Silakov. Kratkij očérk istorii obščej i matématičéskoj logiki v Rossii (A brief outline of the history of general and mathematical logic in Russia). Gosudarstvénnoé Izdatél'stvo “Vysšaa Škola,” Moscow1962, 87 pp
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 370-371
- Print publication:
- September 1965
-
- Article
- Export citation
Burton S. Dreben. Solvable Surányi subclasses: an introduction to the Herbrand theory. Proceedings of a Harvard symposium on digital computers and their applications, 3-6 April 1961, The annals of the Computation Laboratory of Harvard University, vol. 31, Harvard University Press, Cambridge, Mass., 1962, pp. 32–47.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 390-391
- Print publication:
- September 1965
-
- Article
- Export citation
Metarecursive sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 318-338
- Print publication:
- September 1965
-
- Article
- Export citation
Some consequences of the axiom of power-set
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-294
- Print publication:
- September 1965
-
- Article
- Export citation
A. I. Mal′cev. Efféktivnaá néotdélimost′ množéslva toždéstvénno istinnyh i množèstva konéčno oprovéržimyh formul eléméntamyh téorij. Doklady Akadémii Nauk SSSR, vol. 139 (1961), pp. 802–805. - A. I. Mal′cev. Effective inseparability of the set of identically true from the set of finitely refutable formulae of certain elementary theories. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 2 no. 4 (for 1961, pub. 1962), pp. 1005–1008.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 394-395
- Print publication:
- September 1965
-
- Article
- Export citation
Františék Svoboda. K. postroéniú péréklúčatél'nyh shém opytnym putém (On the construction of switching circuits by the experimental method). Bulletin mathématique de la Société des Sciences Mathématiques et Physiques de la République Populaire Roumaine, n.s. vol. 2(50) no. 2 (1958), pp. 191–201.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 380
- Print publication:
- September 1965
-
- Article
- Export citation
V. M. Gluškov. Sintéz cifrovyh avtomatov (Synthesis of digital automata). Gosudarstvénnoé Izdatél'stvo Fiziko-matématičéskoj Litératury, Moscow1962, 476 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 380-381
- Print publication:
- September 1965
-
- Article
- Export citation
Akiko Kino. A consistency-proof of a formal theory of Ackermann's ordinal numbers. Journal of the Mathematical Society of Japan, vol. 10 (1958), pp. 287–303.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 392
- Print publication:
- September 1965
-
- Article
- Export citation
A. Nerode. A decision method for p-adic integral zeros of diophantine equations. Bulletin of the American Mathematical Society, vol. 69 (1963), pp. 513–517.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 391
- Print publication:
- September 1965
-
- Article
- Export citation
A. Bayart. Correction de la logique modale du premier et du second ordre S5, Logique et analyse, n.s. vol. 1 (1958), pp. 28–45. (See Errata, Logique et analyse, n.s., vol. 2 (1959). p. 54.) - A. Bayart. Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5. Logique et analyse, n.s. vol. 2 (1959), pp. 99–121.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 373-374
- Print publication:
- September 1965
-
- Article
- Export citation