13629 results in The Journal of Symbolic Logic
Jacques Bouveresse. Carnap, le langage et la philosophie. L'âge de la science, vol. 3 (1970), pp. 117–154.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 580-581
- Print publication:
- December 1975
-
- Article
- Export citation
Timothy Smiley. Syllogism and quantification. The journal of symbolic logic, vol. 27 no. 1 (for 1962, pub. 1963), pp. 58–72. - William Tuthill Parry. Quantification of the predicate and many-sorted logic. Philosophy and phenomenological research, vol. 26 no. 3 (1966), pp. 342–360.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 606-607
- Print publication:
- December 1975
-
- Article
- Export citation
Azriel Lévy. The Fraenkel-Moslowski method for independence proofs in set theory. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 221–228. - Paul E. Howard. Limitations on the Fraenkel-Mostowski method of independence proofs. The journal of symbolic logic, vol. 38 (1973), pp. 416–422.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 631
- Print publication:
- December 1975
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 651-686
- Print publication:
- December 1975
-
- Article
- Export citation
Witold A. Pogorzelski. On the scope of the classical deduction theorem. The journal of symbolic logic, vol. 33 (1968), pp. 77–81.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 606
- Print publication:
- December 1975
-
- Article
- Export citation
R. M. Mcinerny. Language. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 8, pp. 365–376. - J. Hirschberger. Leibniz, Gottfried Wilhelm von. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 8, pp. 620–621. - W. E. Carlo. Methodology (physical sciences). New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 9, pp. 747–750. - E. A. Maziarz. Number. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 10, pp. 561–566. - J. A. Ladrière. Verification. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 14, pp. 615–616. - W. E. Stokes. Whitehead, Alfred North. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 14, pp. 896–897. - B. F. McGuinness. Wittgenstein, Ludwig. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 14, pp. 983–984. - G. Stahl. Un développement de la logique des questions. Revue philosophique de la France et de l'Etranger, vol. 153 (1963), pp. 293–301.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 599-600
- Print publication:
- December 1975
-
- Article
- Export citation
William E. Ritter. Notation systems and an effective fixed point property. Proceedings of the American Mathematical Society, vol. 17 (1966), pp. 390–395.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 626
- Print publication:
- December 1975
-
- Article
- Export citation
G. L. Farre. Peano, Giuseppe. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 11, p. 46.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 598
- Print publication:
- December 1975
-
- Article
- Export citation
Michael O. Rabin. Weakly definable relations and special automata. Mathematical logic and foundations of set theory, Proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1970, pp. 1–23.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 622-623
- Print publication:
- December 1975
-
- Article
- Export citation
Abraham Robinson. Forcing in model theory. Symposia mathematica, vol. 5, Istituto Nazionale di Alta Matematica, Academic Press, London and New York 1971, pp. 69–82. - Jon Barwise and Abraham Robinson. Completing theories by forcing. Annals of mathematical logic, vol. 2 no. 2 (1970), pp. 119–142. - Abraham Robinson. Infinite forcing in model theory. 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 London 1971, pp. 317–340. - Abraham Robinson. Forcing in model theory. Actes du Congrès International des Mathematiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 245–250.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 633-634
- Print publication:
- December 1975
-
- Article
- Export citation
Kenneth Kunen. Indescribability and the continuum. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 199–203.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 632
- Print publication:
- December 1975
-
- Article
- Export citation
Rósza Péter. Zum Beitrag von F. Schwenkel “Rekursive Wortfunktionen uber unendlichen Alphabeten.” Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 377–378. - F. Schwenkel. Entgegnung. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 379–380.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 622
- Print publication:
- December 1975
-
- Article
- Export citation
T. λ K. Kloyda. Bolzano, Bemhard. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 2, p. 653.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 596
- Print publication:
- December 1975
-
- Article
- Export citation
Ivo Thomas. The rule of excision in positive implication. Notre Dame journal of formal logic, vol. 3 (1962), p. 64.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 603
- Print publication:
- December 1975
-
- Article
- Export citation
“Helping”: several formalizations
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 555-566
- Print publication:
- December 1975
-
- Article
- Export citation
Gisbert Hasenjaeger. Einführung in die Grundbegriffe und Probleme der modernen Logik. Studium universale. Verlag Karl Alber, Freiburg and Munich 1962, 202 pp. - G. Hasenjaeger. Introduction to the basic concepts and problems of modern logic. A slightly revised English translation of the preceding by E. C. M. Mays. D. Reidel Publishing Company, Dordrecht, Holland, and Humanities Press, New York, 1972, 180 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 627-628
- Print publication:
- December 1975
-
- Article
- Export citation
JSL volume 40 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1975
-
- Article
-
- You have access
- Export citation
Gerold Stahl. The effectivity of questions. Noûs, vol. 3 (1969), pp. 211–218.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 600
- Print publication:
- December 1975
-
- Article
- Export citation
Robert L. Martin. Toward a solution to the liar paradox. The philosophical review, vol. 76(1967), pp. 279–311. - Robert L. Martin. On Grelling's paradox. The philosophical review, vol. 77 (1968), pp. 321–331. - Bas C. van Fraassen. Presupposition, implication, and self-reference. The journal of philosophy, vol. 65 (1968), pp. 136–152. - Brian Skyrms. Return of the liar: three-valued logic and the concept of truth. American philosophical quarterly, vol. 7 (1970), pp. 153–161. - Robert L. Martin. Preface. The paradox of the liar, edited by Robert L. Martin, Yale University Press, New Haven and London 1970, p. vii.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 584-587
- Print publication:
- December 1975
-
- Article
- Export citation
E. R. Kiely. Mathematics, history of. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 9, pp. 447–456.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 597-598
- Print publication:
- December 1975
-
- Article
- Export citation