13629 results in The Journal of Symbolic Logic
Supercompact cardinals and trees of normal ultrafilters1
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 89-109
- Print publication:
- March 1982
-
- Article
- Export citation
Greg Cherlin. Model theoretic algebra. Selected topics. Lecture notes in mathematics, Bd. 521. Springer-Verlag, Berlin, Heidelberg, und New York, 1976, IV + 234 S.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-223
- Print publication:
- March 1982
-
- Article
- Export citation
Harry R. Lewis. Unsolvable classes of quantificational formulas. Advanced book program. Addison-Wesley Publishing Company, Reading, Mass., 1979, xv + 198 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-222
- Print publication:
- March 1982
-
- Article
- Export citation
Carlo Cellucci. Teoria delta dimostrazione. Normalizzazioni e assegnazioni di numeri ordinali. Testi e manuali della scienza contemporanea, serie di logica matematica. Boringhieri, Torino1978, 315 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 220-221
- Print publication:
- March 1982
-
- Article
- Export citation
A measure representation theorem for strong partition cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-168
- Print publication:
- March 1982
-
- Article
- Export citation
Nicholas Rescher and Robert Brandom. The logic of inconsistency. A study in non-standard possible-world semantics and ontology. APQ library of philosophy. Basil Blackwell, Oxford, and Rowman and Littlefield, Totowa, N.J., © 1979, pub. 1980, x + 174 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 233-236
- Print publication:
- March 1982
-
- Article
- Export citation
Conservative reduction classes of Krom formulas1
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 110-130
- Print publication:
- March 1982
-
- Article
- Export citation
Mark Steiner. Mathematical knowledge. Contemporary philosophy. Cornell University Press, Ithaca and London1975, 164 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-226
- Print publication:
- March 1982
-
- Article
- Export citation
Formal Philosophy. Selected papers of Richard Montague. Edited and with an introduction by Richmond H. Thomason. Yale University Press, New Haven and London1974, 369 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 210-215
- Print publication:
- March 1982
-
- Article
- Export citation
A. H. Lachlan. On the number of countable models of a countable superstable theory. Logic methodology and philosophy of science IV, Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971, edited by Patrick Suppes et al., Studies in logic and the foundations of mathematics, vol. 74, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, New York, 1973, pp. 45–56. - Daniel Lascar. Ranks and definability in superstable theories. Israel journal of mathematics, vol. 23 (1976), pp. 53–87.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 215-217
- Print publication:
- March 1982
-
- Article
- Export citation
Recursion theory and the lambda-calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-83
- Print publication:
- March 1982
-
- Article
- Export citation
Splitting theorems for speed-up related to order of enumeration1
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-7
- Print publication:
- March 1982
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 237-238
- Print publication:
- March 1982
-
- Article
- Export citation
Extremely undecidable sentences
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 191-196
- Print publication:
- March 1982
-
- Article
- Export citation
Willard van Orman Quine. Foreword, 1980. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. vii–ix. - Willard Van Orman Quine. On what there is. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 1–19. - Willard Van Orman Quine. Two dogmas of empiricism. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 20–46. - Willard Van Orman Quine. The problem of meaning in linguistics. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 47–64. - Willard Van Orman Quine. Identity, ostension, and hypostasis. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 65–79. - Willard Van Orman Quine. New foundations for mathematical logic. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 80–101. - Willard Van Orman Quine. Logic and the reification of universals. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 102–129. - Willard Van Orman Quine. Notes on the theory of reference. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 130–138. - Willard Van Orman Quine. Reference and modality. A revised reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 139–159. - Willard Van Orman Quine. Meaning and existential inference. A reprint of XXXIII 149. From a logical point of view, 9 logico-philosophical essays, by Willard Van Orman Quine, second edition, revised, Harvard University Press, Cambridge, Mass., and London, 1980, pp. 160–167.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 230-231
- Print publication:
- March 1982
-
- Article
- Export citation
On hereditarily countable sets1
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 43-47
- Print publication:
- March 1982
-
- Article
- Export citation
Ultrafilters on spaces of partitions
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 137-146
- Print publication:
- March 1982
-
- Article
- Export citation
Matthias Schirn. Einige Bemerkungen zum Zusammenhang von Logik, Mathematik und Sprachphilosophie bei Frege. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik (Studies on Frege, Volume I, Logic and philosophy of mathematics), edited by Matthias Schirn, Problemata, no. 42, Frommann-Holzboog, Stuttgart and Bad Cannstatt1976, pp. 13–26. - Hans D. Sluga. Frege as a rationalist. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik (Studies on Frege, Volume I, Logic and philosophy of mathematics), edited by Matthias Schirn, Problemata, no. 42, Frommann-Holzboog, Stuttgart and Bad Cannstatt1976, pp. 27–47. - Albert Veraart. Geschichte des wissenschaftlichen Nachlasses Gottlob Freges und seiner Edition. Mit einem Katalog des urspriinglichen Bestands der nachgelassenen Schriften Freges. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik (Studies on Frege, Volume I, Logic and philosophy of mathematics), edited by Matthias Schirn, Problemata, no. 42, Frommann-Holzboog, Stuttgart and Bad Cannstatt1976, pp. 49–106. - Victor H. Dudman. From Boole to Frege. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik (Studies on Frege, Volume I, Logic and philosophy of mathematics), edited by Matthias Schirn, Problemata, no. 42, Frommann-Holzboog, Stuttgart and Bad Cannstatt1976, pp. 109–138. - Robert Sternfeld. The logistic thesis. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik (Studies on Frege, Volume I, Logic and philosophy of mathematics), edited by Matthias Schirn, Problemata, no. 42, Frommann-Holzboog, Stuttgart and Bad Cannstatt1976, pp. 139–160. - Michael D. Resnik. Die Frege–Hilbert Kontroverse. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik (Studies on Frege, Volume I, Logic and philosophy of mathematics), edited by Matthias Schirn, Problemata, no. 42, Frommann-Holzboog, Stuttgart and Bad Cannstatt1976, pp. 193–213. (German translation by Matthias Schirn of The Frege–Hilbert controversy, Philosophy andphenomenological research, vol. 34 no. 3 (1974), pp. 386–403.) - Friedrich Kambartel. Frege und die axiomatische Methode. Zur Kritik mathematikhistorischer Legitimationsversuche der formalistischen Ideologie. A reprint of XLIV 119. (German translation by Matthias Schirn of The Frege–Hilbert controversy, Philosophy andphenomenological research, vol. 34 no. 3 (1974), pp. 215–228. - Michael Dummett. Frege on the consistency of mathematical theories. Frege und die axiomatische Methode. Zur Kritik mathematikhistorischer Legitimationsversuche der formalistischen Ideologie. A reprint of XLIV 119. (German translation by Matthias Schirn of The Frege–Hilbert controversy, Philosophy andphenomenological research, vol. 34 no. 3 (1974), pp. 229–242.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 226-229
- Print publication:
- March 1982
-
- Article
- Export citation
On generalized quantifiers in arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 187-190
- Print publication:
- March 1982
-
- Article
- Export citation
Zyomunt Ziembiński. Practical logic. With an appendix by Zdzisław Ziemba. English translation of the seventh (1973) Polish edition of XXIII 73(4) by Leon Ter-Oganian. D. Reidel Publishing Company, Dordrecht and Boston, and PWN—Polish Scientific Publishers, Warsaw, 1976, XV + 437 pp. - Zdzisław Ziemba. Deontic logic. Therein, pp. 360–430.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 231-233
- Print publication:
- March 1982
-
- Article
- Export citation