13629 results in The Journal of Symbolic Logic
Julia Robinson. On the decision problem for algebraic rings. Studies in mathematical analysis and related topics, Essays in honor of George Pólya, edited by Gabor Szegö, Charles Loewner, Stefan Bergman, Menahem Max Schiffer, Jerzy Neyman, David Gilbarg, and Herbert Solomon, Stanford University Press, Stanford, California, 1962, pp. 297–304.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 475-476
- Print publication:
- September 1970
-
- Article
- Export citation
Paul Axt. Relativization of a primitive recursive hierarchy. Mathematische Annalen, vol. 152 (1963), pp. 159–163.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 480
- Print publication:
- September 1970
-
- Article
- Export citation
Strong partition properties for infinite cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 410-428
- Print publication:
- September 1970
-
- Article
- Export citation
JSL volume 35 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- September 1970
-
- Article
-
- You have access
- Export citation
Donald J. Collins. Recursively enumerable degrees and the conjugacy problem. Acta mathematica, vol. 122 no. 1–2 (1969), pp. 115–160.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 477
- Print publication:
- September 1970
-
- Article
- Export citation
Michael A. Arbib. Brains, machines, and mathematics. McGraw-Hill Book Company, New York, San Francisco, Toronto, and London, 1964, xiv + 152 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 482-483
- Print publication:
- September 1970
-
- Article
- Export citation
John McCarthy. The inversion of functions defined by Turing machines. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 177–181.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 481
- Print publication:
- September 1970
-
- Article
- Export citation
Announcing travel grants for information processing scientists and computer specialists
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 490
- Print publication:
- September 1970
-
- Article
- Export citation
Admissible ordinals and intrinsic consistency
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 389-400
- Print publication:
- September 1970
-
- Article
- Export citation
R. B. Angell. A propositional logic with subjunctive conditionals. The journal of symbolic logic, vol. 27 no. 3 (for 1962, pub. 1963), pp. 327–343.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 464-465
- Print publication:
- September 1970
-
- Article
- Export citation
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:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 470-472
- Print publication:
- September 1970
-
- Article
- Export citation
Eugen Mihăilescu. Formele normale ale functorilor logicei clasice (Formules normales des foncteurs de la logique classique). Roumanian with Russian and French summaries. Studii şi cercetări matematice, vol. 10 (1959), pp. 117–144.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 465
- Print publication:
- September 1970
-
- Article
- Export citation
Robert R. Tompkins. On Kleene's recursive realizability as an interpretation for intuitionistic elementary number theory. Notre Dame journal of formal logic, vol. 9 no. 4 (for 1968, pub. 1969), pp. 289–293.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 475
- Print publication:
- September 1970
-
- Article
- Export citation
H. W. Lenstra. A definition of the system of natural numbers, equivalent to that of Peano. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 71 (1968), pp. 390–392; also lndagationes mathematicae, vol. 30 (1968), pp. 390–392.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 474-475
- Print publication:
- September 1970
-
- Article
- Export citation
G. H. von Wright. Deontic logics. American philosophical quarterly, vol. 4 (1967), pp. 136–143.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 462-463
- Print publication:
- September 1970
-
- Article
- Export citation
Axiomatizable theories with few axiomatizable extensions
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 205-209
- Print publication:
- June 1970
-
- Article
- Export citation
Avrum Stroll. Presupposing. Bibliographic assistance by J. Ornstein. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 6, pp. 446–449.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 307
- Print publication:
- June 1970
-
- Article
- Export citation
A. V. Gladkij. O raspoznavanii zaméščaémosti v rékursivnyh ázykah. Algébra i logika, Séminar, vol. 2 no. 3 (1963), pp. 5–22. - A. V. Gladkii. On the recognition of replaceability in recursive languages. English translation of the above by M. Greendlinger. American Mathematical Society translations, ser. 2 vol. 64 (1967), pp. 81–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 340
- Print publication:
- June 1970
-
- Article
- Export citation
Frank Plumpton Ramsey. The foundations of mathematics and other logical essays. A paperbound reprint of XV 157. Edited by R. B. Braithwaite, with a preface by G. E. Moore. Littlefield. Adams & Co.. Paterson. N.J.. 1960. xviii + 292 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 312
- Print publication:
- June 1970
-
- Article
- Export citation
Donald Kalish. Semantics. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 348–358.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 308
- Print publication:
- June 1970
-
- Article
- Export citation