13629 results in The Journal of Symbolic Logic
The λ-calculus is ω-incomplete
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 313-317
- Print publication:
- June 1974
-
- Article
- Export citation
L. Kalmár, M. Dummett, C. Lejewski, W. V. Quine, F. Sommers. Discussion. Problems in the philosophy of mathematics, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, pp. 63–81.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 361-362
- Print publication:
- June 1974
-
- Article
- Export citation
S. R. Kogalovskij. O kompaktnyh klassah algébraičéskih sistém. Russian original of XXXIX 367(24). Algébra i logika, vol. 7 no. 2 (1968), pp. 27–41.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 339
- Print publication:
- June 1974
-
- Article
- Export citation
W. Hanf. On a problem of Erdös and Tarski. Fundamenta mathematicae, vol. 53 no. 3 (1964), pp. 325–334. - D. Monk and D. Scott. Additions to some results of Erdös and Tarski. Fundamenta mathematicae, vol. 53 no. 3 (1964), pp. 335–343. - A. Hajnal. Remarks on the theory of W. P. Hanf. Fundamenta mathematicae vol. 54 no. 1 (1964), pp. 109–113.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 332
- Print publication:
- June 1974
-
- Article
- Export citation
Heinrich Behmann. Drei Aporien der Identität. Logik and Logikkalkül, edited by Max Käsbauer and Franz von Kutschera, Verlag Karl Alber, Freiburg and Munich 1962, pp. 19–48. Reprinted in Ratio (Frankfurt a.M.), vol. 5 no. 2 (1963), pp. 101–123. - Heinrich Behmann. Three paradoxical aspects of identity. English translation of the preceding. Ratio (Oxford), vol. 5 no. 2 (1963), pp. 113–139.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 359-360
- Print publication:
- June 1974
-
- Article
- Export citation
Hao Wang. Formalization and automatic theorem-proving. Information processing 1965, Proceedings of IFIP Congress 65, organized by the International Federation for Information Processing, New York City, May 24–29, 1965, Volume 1, edited by Wayne A. Kalenich, Spartan Books, Inc., Washington, D.C., and Macmillan and Co., Ltd., London, 1965, pp. 51–58.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 350
- Print publication:
- June 1974
-
- Article
- Export citation
A. H. Lachlan. On some games which are relevant to the theory of recursively enumerable sets. Annals of mathematics, ser. 2 vol. 91 (1970), pp. 291–310.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 345
- Print publication:
- June 1974
-
- Article
- Export citation
Webb Miller. Recursive function theory and numerical analysis. Journal of computer and system sciences vol. 4 (1970), pp. 465–472.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 346
- Print publication:
- June 1974
-
- Article
- Export citation
H. J. Keisler. Models with orderings. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 35–62.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-335
- Print publication:
- June 1974
-
- Article
- Export citation
D. C. Luckham, D. M. R. Park, and M. S. Paterson. On formalised computer programs. Journal of computer and system sciences, vol. 4 (1970), pp. 220–249.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 347
- Print publication:
- June 1974
-
- Article
- Export citation
Jerome Malitz. Universal classes in infinitary languages. Duke mathematical journal, vol. 36 (1969), pp. 621–630.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 336
- Print publication:
- June 1974
-
- Article
- Export citation
Notice of the new journal Digital Processes
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 369
- Print publication:
- June 1974
-
- Article
- Export citation
D. Hilbert and P. Bernays. Grundlagen der Mathematik II. Second edition of V 16. Springer-Verlag, Berlin, Heidelberg, and New York, 1970, XIV + 561 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 357
- Print publication:
- June 1974
-
- Article
- Export citation
Helmut Pfeiffer. Vergleich zweier Bezeichnungssysteme für Ordinalzahlen.Archiv für mathematische Logik und Grundlagenforschung, vol. 15 (1972), pp. 41–56.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 342-343
- Print publication:
- June 1974
-
- Article
- Export citation
Zohar Manna. Mathematical theory of partial correctness. Journal of computer and system sciences, vol. 5 (1971), pp. 239–253.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 348
- Print publication:
- June 1974
-
- Article
- Export citation
Richard Taylor. Fatalism. The philosophical review, vol. 71 (1962), pp. 56–66. - Bruce Aune. Fatalism and Professor Taylor. The philosophical review, vol. 71 (1962), pp. 512–519. - John Turk Saunders. Professor Taylor on fatalism. Analysis (Oxford), vol. 23, pp. 1–2. - Richard Taylor. Fatalism and ability: I. Analysis (Oxford), vol. 23, no. 2 (1962), pp. 25–27. - Peter Makepeace. Fatalism and ability: II. Analysis (Oxford), vol. 23, pp. 27–29. - John Turk Saunders. Fatalism and ability: III. Fatalism and linguistic reform. Analysis (Oxford), vol. 23, pp. 30–31. - Richard Sharvy. A logical error in Taylor's “Fatalism.” Analysis (Oxford), vol. 23, no. 4 (1963), p. 96. - John Turk Saunders. Fatalism and the logic of ability. Analysis (Oxford), vol. 24 no. 1 (1963), p. 24. - Raziel Abelson. Taylor's fatal fallacy. The philosophical review, vol. 72 (1963), pp. 93–96. - Richard Taylor. A note on fatalism. The philosophical review, vol. 72 (1963), pp. 497–499. - Richard Sharvy. Tautology and fatalism. The journal of philosophy, vol. 61 (1964), pp. 293–295. - Steven Cahn. Fatalistic arguments. The journal of philosophy, vol. 61 (1964), pp. 295–305. - Richard Taylor. Comment. The journal of philosophy, vol. 61 (1964) pp. 305–307. - John Turk Saunders. Fatalism and ordinary language. The journal of philosophy, vol. 62 (1965), pp. 211–222. - Charles D. Brown. Fallacies in Taylor's “fatalism.” The journal of philosophy, vol. 62 (1965) pp. 349–353. - Storrs McCall. Excluded middle, bivalence and fatalism. Inquiry (Oslo), vol. 9 (1966), pp. 384–386.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 362-364
- Print publication:
- June 1974
-
- Article
- Export citation
Mircea Tîrnoveanu. Elemente de logicǎ matematicǎ. Vol. 1. Logicǎ propoziţülor bivalente. (Elements of mathematical logic. Vol. 1. Logic of bivalent propositions.) Editura Didacticǎ şi Pedagogicǎ, Bucharest 1964, 519 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 325-327
- Print publication:
- June 1974
-
- Article
- Export citation
W. V. Quine. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 150–152. - Bertrand Russell. Mathematical logic as based on the theory of types. A reprint of 11116. From Frege to Gödel, A source book in mathematical logic, 1879–1931 pp. 152–182.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 355-356
- Print publication:
- June 1974
-
- Article
- Export citation
Robert L. Davis. The number of structures of finite relations. Proceedings of the American Mathematical Society, vol. 4 (1953), pp. 486–495.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 341
- Print publication:
- June 1974
-
- Article
- Export citation
J. Barkley Rosser. Simplified independence proofs. Boolean valued models of set theory. Pure and applied mathematics, no. 31. Academic Press, New York and London 1969, xv + 217 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 328-329
- Print publication:
- June 1974
-
- Article
- Export citation