13630 results in The Journal of Symbolic Logic
Jerzy Słupecki and Witold A. Pogorzelski. A variant of the proof of the completeness of the first order functional calculus. English with Polish and Russian summaries. Studia logica, vol. 12 (1961), pp. 125–134.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 688-689
- Print publication:
- December 1971
-
- Article
- Export citation
Azriel Lévy. On models of set theory with urelements. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 (1960), pp. 463–465.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 682
- Print publication:
- December 1971
-
- Article
- Export citation
Yoshindo Suzuki. A complete classification of the -functions. Bulletin of the American Mathematical Society, vol. 70 (1964), pp. 246–253.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 688
- Print publication:
- December 1971
-
- Article
- Export citation
Index of Reviews
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 753-808
- Print publication:
- December 1971
-
- Article
- Export citation
Moses Richardson. Fundamentals of mathematics. Revised edition of VII 46. The Macmillan Company, New York1958, xviii + 507 pp.; also third edition, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1966, xx + 603 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 678
- Print publication:
- December 1971
-
- Article
- Export citation
K. L. de Bouvère. A mathematical characterization of explicit definability. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 66 (1963), pp. 264–274; also Indagationes mathematicae, vol. 25 (1963), pp. 264–274.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 687
- Print publication:
- December 1971
-
- Article
- Export citation
Mark Kac and Stanislaw M. Ulam. Mathematics and logic. Retrospect and prospects. Frederick A. Praeger, Publishers, New York, Washington, and London1968, ix + 170 pp.; also a paperbound reprint, A Mentor Book, published by The New American Library, New York and Toronto 1969, 222 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 677
- Print publication:
- December 1971
-
- Article
- Export citation
A. Heyting. After thirty years. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, California, 1962, pp. 194–197.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 674
- Print publication:
- December 1971
-
- Article
- Export citation
Lynn E. Rose. Aristotle's syllogistic. Charles C. Thomas, Publisher, Springfield, Illinois, 1968, vii + 149 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 670-671
- Print publication:
- December 1971
-
- Article
- Export citation
Konrad Marc-Wogau. Bemerkungen zum Begriff “Sinnesdatum” in der Diskussion der letzten Jahre. Theoria (Lund), Bd. 16 (1950), S. 63–74. - Justus Hartnack. A note on existence. Remarks on Professor Konrad Marc-Wogau's “Bemerkungen zum Begriff ‘Sinnesdatum’ in der Diskussion der letzten Jahre” (Theoria XVI). Theoria (Lund), Bd. 16 (1950), S. 247–248. - Konrad Marc-Wogau. Bemerkung zum Ausdruck “existiert.” Antwort auf die Bemerkungen von Justus Hartnack. Theoria (Lund), Bd. 16 (1950), S. 249–250.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 673
- Print publication:
- December 1971
-
- Article
- Export citation
R. M. Martin. Does modal logic rest upon a mistake?Philosophical studies (Minneapolis), vol. 14(1963), pp. 8–11.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 691
- Print publication:
- December 1971
-
- Article
- Export citation
Richard Montague. Theories incomparable with respect to relative interpretability. The journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 195–211.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 688
- Print publication:
- December 1971
-
- Article
- Export citation
B. G. Mirkin. Novyj algoritm postroéniá bazisa v ázyké régularnyh vyražénij. Izvéstiá Akadémii Nauk SSSR, Téchničeskaá Kibérnétika, no. 5 (1966), pp. 113–119. - B. G. Mirkin. An algorithm for constructing a base in a language of regular expressions. English translation of the preceding. Engineering cybernetics, no. 5 (Sept.-Oct. 1966), pp. 110–116.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 694
- Print publication:
- December 1971
-
- Article
- Export citation
R. L. Graham. On n-valued functionally complete truth functions. The journal of symbolic logic, vol. 32 (1967), pp. 190–195.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 691
- Print publication:
- December 1971
-
- Article
- Export citation
James Ax and Simon Kochen. Diophantine problems over local fields I. American journal of mathematics, vol. 87 (1965), pp. 605–630. - James Ax and Simon Kochen. Diophantine problems over local fields II. A complete set of axioms for p-adic number theory. American journal of mathematics, vol. 87 (1965), pp. 631–648. - James Ax and Simon Kochen. Diophantine problems over local fields III. Decidable fields. Annals of mathematics, vol. 83 (1966), pp. 437–456.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 683-684
- Print publication:
- December 1971
-
- Article
- Export citation
A. A. Zinov'év. Ob odnom sposobé obzora funkcij istinnosti n-značnogo isčisléniá vyskazyvanij (A method of describing the truth-functions of the n-valued propositional calculus). Russian with Polish and English summaries. Studia logica, vol. 11 (1961) pp. 217–222.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 691
- Print publication:
- December 1971
-
- Article
- Export citation
F. R. Drake. On McKinsey's syntactical characterizations of systems of modal logic. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 400–406.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 691-692
- Print publication:
- December 1971
-
- Article
- Export citation
A. Mostowski. Quelques applications de la topologie à la logique mathématique. Topologie, Volume I, 4th edn., by Casimir Kuratowski, Państwowe Wydawnictwo Naukowe, Warsaw1958, pp. 470–477.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 688
- Print publication:
- December 1971
-
- Article
- Export citation
H. Jerome Keisler. Logic with the quantifier “there exist uncountably many.”Annals of mathematical logic, vol. 1 no. 1 (1970), pp. 1–93.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 685-687
- Print publication:
- December 1971
-
- Article
- Export citation
Arthur Pap. Extensionality, attributes, and classes. Philosophical studies (Minneapolis), vol. 9 (1958), pp. 42–46.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 675
- Print publication:
- December 1971
-
- Article
- Export citation