13629 results in The Journal of Symbolic Logic
L. Henkin. Some remarks on infinitely long formulas. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 167–183. - Carol R. Karp. Independence proofs in predicate logic with infinitely long expressions. The journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 171–188.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 96-97
- Print publication:
- March 1965
-
- Article
- Export citation
Robert E. Clay. A simple proof of functional completeness in many-valued logics based on Łukasiewicz's C and N. Notre Dame journal of formal logic, vol. 3 (1962), pp. 114–117. - Robert E. Clay. Note on Stupecki T-functions. The journal of symbolic logic, vol. 27 no. 1 (for 1962, pub. 1963), pp. 53–54.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 105
- Print publication:
- March 1965
-
- Article
- Export citation
A. A. Mučnik. Réšénié problémy svodimosti Posta i nékotoryh drugih problém téorii algorifmou. I. (Solution of Post's reduction problem and of certain other problems in the theory of algorithms. I.) Trudy Moskovskogo Matématičéskogo Obščéstva, vol. 7 (1958), pp. 391–405.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 90
- Print publication:
- March 1965
-
- Article
- Export citation
Modus ponens under hypotheses
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 26
- Print publication:
- March 1965
-
- Article
- Export citation
David Kaplan and Richard Montague. A paradox regained. Notre Dame journal of formal logic, vol. 1 (1960), pp. 79–90. - Martin Gardner. A new prediction paradox. The British journal for the philosophy of science, vol. 13 (1962), p. 51. - K. R. Popper. A comment on the new prediction paradox. The British journal for the philosophy of science, vol. 13 (1962), p. 51.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 102-103
- Print publication:
- March 1965
-
- Article
- Export citation
Hao Wang. Certain predicates defined by induction schemata. The journal of symbolic logic, vol. 18 (1953), pp. 49–59. Reprinted in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 535–545.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-100
- Print publication:
- March 1965
-
- Article
- Export citation
Alfred Tarski. Some problems and results relevant to the foundations of set theory. 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, Calif., 1962, pp. 125–135. - W. Hanf. Incompactness in languages with infinitely long expressions. Fundamenta mathematicae, vol. 53 no. 3 (1964), pp. 309–324.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-96
- Print publication:
- March 1965
-
- Article
- Export citation
On the logic of incomplete answers
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-68
- Print publication:
- March 1965
-
- Article
- Export citation
Transcendence of cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-7
- Print publication:
- March 1965
-
- Article
- Export citation
Hao Wang. Some partial systems. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 507–534.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-101
- Print publication:
- March 1965
-
- Article
- Export citation
Hao Wang. Truth definitions and consistency proofs. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 443–477.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 100
- Print publication:
- March 1965
-
- Article
- Export citation
A. I. Mal'cév. O svobodnyh razréšimyh gruppah. Doklady Akadémii Nauk SSSR, vol. 130 (1960), pp. 495–498. - A. I. Mal'cev. On free soluble groups. English translation of the preceding by K. A. Hirsch. Soviet mathematics, vol. 1 no. 1 (1960), pp. 65–68.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 99
- Print publication:
- March 1965
-
- Article
- Export citation
D. Scott and A. Tarski. The sentential calculus with infinitely long expressions. Colloquium mathematicum, vol. 6 (1958), pp. 165–170. - Dana Scott and Alfred Tarski. The sentential calculus with infinitely long expressions. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 83–89.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 95
- Print publication:
- March 1965
-
- Article
- Export citation
Notice of a meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
- Print publication:
- March 1965
-
- Article
- Export citation
JSL volume 30 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1965
-
- Article
-
- You have access
- Export citation
Trial and error predicates and the solution to a problem of Mostowski*
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 49-57
- Print publication:
- March 1965
-
- Article
- Export citation
R. Shaw. The paradox of the unexpected examination. Mind, n.s. vol. 67 (1958), pp. 382–384. - Ardon Lyon. The prediction paradox. Mind, n.s. vol. 68 (1959), pp. 510–517. - G. C. Nerlich. Unexpected examinations and unprovable statements. Mind, n.s. vol. 70 (1961), pp. 503–513. - Brian Medlin. The unexpected examination. American philosophical quarterly (Pittsburgh), vol. 1 no. 1 (1964), pp. 66–72. See Corrigenda, Brian Medlin. The unexpected examination. American philosophical quarterly (Pittsburgh), vol. 1 no. 1 (1964), p. 333.) - Frederic B. Fitch. A Goedelized formulation of the prediction paradox. American philosophical quarterly (Pittsburgh), vol. 1 no. 1 (1964), pp. 161–164.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 101-102
- Print publication:
- March 1965
-
- Article
- Export citation
Á. I. Méklér. Uproščéskij algébraičskij métod sintéza réléjnyh shém (Simplified algebraic synthesis of relay circuits). Avtomatika i télémehanika, vol. 19 (1958), pp. 1129–1144.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 109
- Print publication:
- March 1965
-
- Article
- Export citation
Hao Wang. The formalization of mathematics. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 559–584.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 101
- Print publication:
- March 1965
-
- Article
- Export citation
Satisfaction for n-th order languages defined in n-th order languages
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 13-25
- Print publication:
- March 1965
-
- Article
- Export citation