13629 results in The Journal of Symbolic Logic
Daniel Lacombe. Recursion theoretic structure for relational systems. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969, edited by R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61, North-Holland Publishing Company, Amsterdam and London1971, pp. 3–17.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 454-455
- Print publication:
- September 1975
-
- Article
- Export citation
Rudolf Carnap. Logische Syntax der Sprache. Second edition of 35212. Springer-Verlag, Vienna and New York1968, XI + 274 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 472
- Print publication:
- September 1975
-
- Article
- Export citation
Roberto Cignoli. Representation of Łukasiewicz and Post algebras by continuous functions. Colloquium mathematicum, vol. 24 no. 2 (1972), pp. 127–138.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 465
- Print publication:
- September 1975
-
- Article
- Export citation
Categories of frames for modal logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 439-442
- Print publication:
- September 1975
-
- Article
- Export citation
Alan Rose. Extensions of some theorems of Anderson and Belnap. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 423–425.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 466
- Print publication:
- September 1975
-
- Article
- Export citation
A. Lévy. The interdependence of certain consequences of the axiom of choice. Fundamenta mathematicae, vol. 54 no. 2 (1964), pp. 135–157.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 461
- Print publication:
- September 1975
-
- Article
- Export citation
A. N. Prior. Existence in Leśniewski and in Russell. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 149–155.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 458
- Print publication:
- September 1975
-
- Article
- Export citation
JSL volume 40 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1975
-
- Article
-
- You have access
- Export citation
W. V. Quine. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 216–217. - Alfred North Whitehead and Bertrand Russell. Incomplete symbols: Descriptions. Reprinted from 1947, pp. 66–71. Incomplete symbols: Descriptions. Reprinted from 1947, pp. 217–223.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 472-473
- Print publication:
- September 1975
-
- Article
- Export citation
E. W. Beth. Observations concernant la théorie de la définition. Actes du Colloque de Mathématiques réuni à Clermont à l'Occasion du Tricentenaire de la Mort de Blaise Pascal, 4–8 Juin 1962, Volume I, Introduction et logique mathématique, Annales de la Faculté des Sciences de l'Université de Clermont, no. 7, Mathematiques, part 1, Clermont-Ferrand 1962, pp. 83–87.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 457
- Print publication:
- September 1975
-
- Article
- Export citation
William B. Easton. Powers of regular cardinals. Annals of mathematical logic, vol. 1 no. 2 (1970), pp. 139–178. - J. R. Shoenfield. Unramified forcing. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 357–381.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 460-461
- Print publication:
- September 1975
-
- Article
- Export citation
H. Kunsemüller. Zur Axiomatik der Quantenlogik. Philosophia naturalis, vol. 8 (1964), pp. 363–376.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 464
- 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
Uniform enumeration operations
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 401-409
- Print publication:
- September 1975
-
- Article
- Export citation
Shôji Maehara. Logic in Japan. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I, Logique et fondements des mathématiques), edited by Raymond Klibansky, La Nuova Italia Editrice, Florence1968, pp. 228–231.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 472
- Print publication:
- September 1975
-
- Article
- Export citation
On an extension of Hilbert's second ε-theorem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 393-397
- Print publication:
- September 1975
-
- Article
- Export citation
Wilhelm Ackermann. Der Aufbau einer höheren Logik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 7 (1965), S. 5–22.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 458
- Print publication:
- September 1975
-
- Article
- Export citation
Yoemon Sampei. A proof of Mansfield's theorem by forcing method. Commentarii mathematici Universitatis Sancti Pauli, vol. 17 no. 2 (1969), pp. 99–103.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 462
- Print publication:
- September 1975
-
- Article
- Export citation
Anne Preller. La catégorie des algèbres quantifiées. Publications du Département de Mathématiques (Lyon), vol. 4 no. 1 (1967), pp. 91–136.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 240-241
- Print publication:
- June 1975
-
- Article
- Export citation
Donald Monk. Singulary cylindric and polyadic equality algebras. Transactions of the American Mathematical Society, vol. 112 (1964), pp. 185–205.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 240
- Print publication:
- June 1975
-
- Article
- Export citation