13630 results in The Journal of Symbolic Logic
L. P. Belluce and C. C. Chang. A weak completeness theorem for infinite valued first-order logic. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 43–50.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 332
- Print publication:
- June 1971
-
- Article
- Export citation
Chicago 1967 meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 359-368
- Print publication:
- June 1971
-
- Article
- Export citation
Patrick Suppes and Joseph L. Zinnes. Basic measurement theory. Handbook of mathematical psychology, Volume I, edited by R. Duncan Luce, Robert R. Bush, and Eugene Galanter, John Wiley and Sons, Inc., New York and London1963, pp. 1–76.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 322-323
- Print publication:
- June 1971
-
- Article
- Export citation
A. I. Mal′cév. Itérativnyé algebry i mnogoobraziá Posta (Post's iterative algebras and varieties). Algébra i logika, Séminar, vol. 5 no. 2 (1966), pp. 5–24.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 338
- Print publication:
- June 1971
-
- Article
- Export citation
Robert M. Solovay. A nonconstructible set of integers. Transactions of the American Mathematical Society, vol. 127 (1967), pp. 50–75.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 340
- Print publication:
- June 1971
-
- Article
- Export citation
G. F. Schumm. On some open questions of B. Sobociński. Notre Dame Journal of format logic, vol. 10 no. 3 (1969), pp. 261–262.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
- Print publication:
- June 1971
-
- Article
- Export citation
William W. Rozeboom. Of selection operators and semanticists. Philosophy of science vol. 31 (1964), pp. 282–285.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 321
- Print publication:
- June 1971
-
- Article
- Export citation
On large cardinals and partition relations
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 305-308
- Print publication:
- June 1971
-
- Article
- Export citation
E. Mark Gold. Limiting recursion. The journal of symbolic logic, vol. 30 (1965), pp. 28–48. - Hilary Putnam. Trial and error predicates and the solution to a problem of Mostowski. The journal of symbolic logic, vol. 30 (1965), pp. 49–57.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 342
- Print publication:
- June 1971
-
- Article
- Export citation
Patrick Suppes, Max Jerman, Dow Brian in collaboration with Diana Axelsen, Guy Groen, Lester Hyman, and Brian Tolliver. Computer-assisted instruction: Stanford's 1965–66 arithmetic program. Academic Press, New York and London1968, vii + 385 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 326-327
- Print publication:
- June 1971
-
- Article
- Export citation
Maurice L'abbé. Structures algébriques suggérées par la logique mathématique. Bulletin de la Société Mathématique de France, vol. 86 (1958), pp. 299–314.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 337
- Print publication:
- June 1971
-
- Article
- Export citation
John E. Clifford. Tense logic and the logic of change. Logique et analyse, n.s. vol. 9 (1966), pp. 219–230.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 327-328
- Print publication:
- June 1971
-
- Article
- Export citation
Isaac Levi. Gambling with truth. An essay on induction and the aims of science. Alfred A. Knopf, New York, and Routledge & Kegan Paul, Ltd., London, 1967, xiv + 246 + v pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 318-320
- Print publication:
- June 1971
-
- Article
- Export citation
C. C. Chang. Algebraization of infinitely many-valued logic. 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. 144–146. - C. C. Chang. Algebraic analysis of many valued logics. Transactions of the American Mathematical Society, vol. 88 (1958), pp. 467–490. - C. C. Chang. A new proof of the completeness of the Łukasiewicz axioms. Transactions of the American Mathematical Society, vol. 93 (1959), pp. 74–80.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-160
- Print publication:
- March 1971
-
- Article
- Export citation
The next admissible set1
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 108-120
- Print publication:
- March 1971
-
- Article
- Export citation
On the undecidability of finite planar graphs1
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 121-126
- Print publication:
- March 1971
-
- Article
- Export citation
Árpád Szabó. Anfänge des euklidischen Axiomensystems. Archive for history of exact sciences, vol. 1 no. 1 (1960), pp. 37–106.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 154-155
- Print publication:
- March 1971
-
- Article
- Export citation
Philip K. Hooper. The undecidability of the Turing machine immortality problem. The journal of symbolic logic, vol. 31 (1966), pp. 219–234.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 150
- Print publication:
- March 1971
-
- Article
- Export citation
A. Tarski. Equational logic and equational theories of algebras. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schütte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 275–288.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-162
- Print publication:
- March 1971
-
- Article
- Export citation
J. A. Kalman. Equational completeness and families of sets closed under subtraction. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 63 (1960), pp. 402–405; also lndagationes mathematieae, vol. 22 (I960), pp. 402–405.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 160
- Print publication:
- March 1971
-
- Article
- Export citation