13629 results in The Journal of Symbolic Logic
J. I. Malitz and W. N. Reinhardt. Maximal models in the language with quantifier “there exist uncountably many.” Pacific journal of mathematics, vol. 40 (1972), pp. 139–155. - J. I. Malitz and W. N. Reinhardt. A complete countable Lω1Q theory with maximal models of many cardinalities. Pacific journal of mathematics, vol. 43 (1972), pp. 691–700.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 635-636
- Print publication:
- December 1975
-
- Article
- Export citation
Stephen F. Barker. Realism as a philosophy of mathematics. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 1–9.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 593
- Print publication:
- December 1975
-
- Article
- Export citation
Rózsa Péter. Über die Verallgemeinerung der Theorie der rekursiven Funktionen für abstrakte Mengen geeigneter Struktur ah Definitionsbereiche. Acta mathematica Academiae Scientiarum Hungaricae, vol. 12 (1961), pp. 271–314, and vol. 13 (1962), pp. 1-24.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 620-621
- Print publication:
- December 1975
-
- Article
- Export citation
Hao Wang. Note on rules of inference. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 193–196.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 604
- Print publication:
- December 1975
-
- Article
- Export citation
H. A. Nielsen. Linguistic analysis. 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. 773–775.
-
- 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
Benjamin Boretz. Meta-variations: Studies in the foundations of musical thought (I). Perspectives of new music, vol. 8 no. 1 (1969), pp. 1–74. - Benjamin Boretz. Sketch of a musical system (Meta-variations, Part II). Perspectives of new music, vol. 8 no. 2(1970), pp. 49–111. - Benjamin Boretz. The construction of musical syntax (I). Perspectives of new music, vol. 9 no. 1 (1970), pp. 23–42. - Richard M. Martin. On the proto-theory of musical structure. Perspectives of new music, pp. 68–73. - Benjamin Boretz. Musical syntax (II). Perspectives of new music, vol. 10 no. 1 (1971), pp. 232–270.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 577-578
- Print publication:
- December 1975
-
- Article
- Export citation
Rudolf Carnap and Richard C. Jeffrey. Introduction. Studies in inductive logic and probability, Volume I, edited by Rudolf Carnap and Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1971, pp. 1–4. - Rudolf Carnap. Inductive logic and rational decisions. A modified and expanded version of XXXII 104(1). Studies in inductive logic and probability, pp. 5–31. - Rudolf Carnap. A basic system of inductive logic, Part I. Studies in inductive logic and probability, pp. 33–165. - Richard C Jeffrey. Probability measures and integrals. Studies in inductive logic and probability, pp. 167–223. - Jürgen Humburg. The principle of instantial relevance. Studies in inductive logic and probability, pp. 225–233. - Haim Gaifman. Applications of de Finetti's theorem to inductive logic. Studies in inductive logic and probability, pp. 235–251.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 581-583
- Print publication:
- December 1975
-
- Article
- Export citation
Ann Yasuhara. Recursive function theory and logic. Academic Press, New York and London 1971, xv + 338 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 619-620
- Print publication:
- December 1975
-
- Article
- Export citation
On degrees of unsolvability and complexity properties
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 529-540
- Print publication:
- December 1975
-
- Article
- Export citation
G. H. Müller. Über die unendliche Induktion. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Panstwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 75–95.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 627
- Print publication:
- December 1975
-
- Article
- Export citation
Herbert L. Searles. Foreword. Truth and meaning, by David Greenwood, Philosophical Library, New York 1957, pp. vii–viii. - David Greenwood. Truth and metalanguage. Truth and meaning, pp. 1–17. - David Greenwood. Meaning in natural languages. Truth and meaning, pp. 18–36. - David Greenwood. The completeness of the sentential calculus. Truth and meaning, pp. 37–46. - David Greenwood. On mathematical definition. Truth and meaning, pp. 47–56. - David Greenwood. The nature of probability statements. Truth and meaning, pp. 57–83. - David Greenwood. The pragmatic theory of truth. Truth and meaning, pp. 84–109.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 579-580
- Print publication:
- December 1975
-
- Article
- Export citation
John Myhill. The formalization of intuitionism. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I,Logique et fondements des mathimatiques), edited by Raymond Klibansky, La Nuova Italia Editrice, Florence 1968, pp. 324–341.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 625
- Print publication:
- December 1975
-
- Article
- Export citation
Canonical Partition Relations
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 541-554
- Print publication:
- December 1975
-
- Article
- Export citation
Michael Kassler. The decision of Arnold Schoenberg's twelve-note-class system and related systems. Clearinghouse for Federal Scientific and Technical Information, U.S. Department of Commerce, Springfield, Virginia, 1964, 166 pp. - Michael Kassler. A sketch of the use of formalized languages for the assertion of music. Perspectives of new music, vol. 1 no. 2 (1963), pp. 83–94. - Michael Kassler. Toward a theory that is the twelve-note-class system. Perspectives of new music, vol. 5 no. 2 (1967), pp. 1–80.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 576-577
- Print publication:
- December 1975
-
- Article
- Export citation
Nicolas Bourbaki (pseudonym). Theory of sets. Elements of mathematics. English translation of XXXVII 636(6-8), XL 289(1). Hermann, Publishers in Arts and Science, Paris, and Addison-Wesley Publishing Company, Reading, Mass., Menlo Park, Calif., London, Don Mills, Ontario, 1968, VIII + 414 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 630-631
- Print publication:
- December 1975
-
- Article
- Export citation
B. F. McGuinness. Russell, Bertrand, philosophy of. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 12, pp. 729–730.
-
- 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
B. F. WellsIII . Translator's foreword. The metamathematics of algebraic systems, Collected papers: 1936-1967, by Anatoliï Ivanovič Mal'cev, translated, edited, and provided with supplementary notes by Benjamin Franklin Wells, III, Studies in logic and the foundations of mathematics, vol. 66, North-Holland Publishing Company, Amsterdam and London 1971, pp. vii–x.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 640-650
- Print publication:
- December 1975
-
- Article
- Export citation
M. J. Charlesworth. Analytical philosophy. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 1, pp. 470–473.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 595
- Print publication:
- December 1975
-
- Article
- Export citation
Solomon Feferman. Ordinals and functionals in proof theory. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 229–233.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-626
- Print publication:
- December 1975
-
- Article
- Export citation
J. Łos and R. Suszko. Remarks on sentential logics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A vol. 61 (1958), pp. 177–183; also Indagationes mathematicae, vol. 20 (1958), pp. 177-183.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 603-604
- Print publication:
- December 1975
-
- Article
- Export citation