13629 results in The Journal of Symbolic Logic
Peter Schofield. Independent conditions for completeness of finite algebras with a single generator. Journal of the London Mathematical Society, vol. 44 (1969), pp. 413–423.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 98
- Print publication:
- March 1975
-
- Article
- Export citation
Warren D. Goldfarb. Preface. Logical writings, by Jacques Herbrand, edited by Warren D. Goldfarb, Harvard University Press, Cambridge, Massachusetts, and D. Reidel Publishing Company, Dordrecht-Holland, 1971, pp. V–VII.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 94-95
- Print publication:
- March 1975
-
- Article
- Export citation
Gustav Bergmann. Sameness, meaning, and identity. Meaning and existence, by Gustav Bergmann, The University of Wisconsin Press, Madison1960, pp. 132–138; also Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 settembre 1958), Volume quatro, Logica, tinguaggio e comunicazione, Sansoni Editore, Florence 1960, pp. 19–27. - Gustav Bergmann. Individuals. Meaning and existence, by Gustav Bergmann, The University of Wisconsin Press, Madison1960, pp. 124–131. (Reprinted from Philosophical studies (Minneapolis), vol. 9 (1958), pp. 78–85.) - Gustav Bergmann and Herbert Hochberg. Concepts. Meaning and existence, by Gustav Bergmann, The University of Wisconsin Press, Madison1960, pp. 106–114. (Reprinted from Philosophical studies (Minneapolis), vol. 8 (1957), pp. 19–27.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 106-111
- Print publication:
- March 1975
-
- Article
- Export citation
C. L. Hamblin. Starting and stopping. Basic issues in the philosophy of time, edited by Eugene Freeman and Wilfrid Sellars, Open Court, LaSalle, Ill., 1971, pp. 86–101. (Reprinted from The monist, vol. 53 (1969), pp. 410–425.) - C. L. Hamblin. Instants and intervals. Studium generate, vol. 24 (1971), pp. 127–134. Reprinted in The study of time, edited by J. T. Fraser, F. C. Haber, and G. H. Müller, Springer-Verlag, New York 1972, pp. 324–331.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-100
- Print publication:
- March 1975
-
- Article
- Export citation
A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 3–45.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-97
- Print publication:
- March 1975
-
- Article
- Export citation
Czesław Lejewski. Logic and existence. The British journal for the philosophy of science, vol. 5 (1954–1955), pp. 104–119. - A. N. Prior. English and ontology. The British journal for the philosophy of science, vol. 6 (1955–1956), pp. 64–65.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 102-103
- Print publication:
- March 1975
-
- Article
- Export citation
Ronald Björn Jensen. Modelle der Mengenlehre. Lecture notes in mathematics, no. 37, Springer-Verlag, Berlin, Heidelberg, and New York, 1967, ix + 176 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 92
- Print publication:
- March 1975
-
- Article
- Export citation
Sanat K. Basu. On the structure of subrecursive degrees. Journal of computer and systems sciences, vol. 4 (1970), pp. 452–464.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 87
- Print publication:
- March 1975
-
- Article
- Export citation
JSL volume 40 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1975
-
- Article
-
- You have access
- Export citation
Gustav Beromann. Russell's examination of Leibniz examined. Meaning and existence, by Gustav Bergmann, The University of Wisconsin Press, Madison1960, pp. 155–188. (Reprinted from Philosophy of science, vol. 23 (1956), pp. 175–203.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-106
- Print publication:
- March 1975
-
- Article
- Export citation
Ulrich Felgner. Models of ZF-set theory. Lecture notes in mathematics, no. 223, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, vi + 173 pp. - Thomas J. Jech. Lectures in set theory with particular emphasis on the method of forcing. Lecture notes in mathematics, no. 217, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, v + 137 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 92-93
- Print publication:
- March 1975
-
- Article
- Export citation
Weak liberated versions of T and S41
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 25-30
- Print publication:
- March 1975
-
- Article
- Export citation
A note on modal formulae and relational properties
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 55-58
- Print publication:
- March 1975
-
- Article
- Export citation
Oliver Aberth. A chain of inclusion relations in computable analysis. Proceedings of the American Mathematical Society, vol. 22 (1969), pp. 539–548.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 84
- Print publication:
- March 1975
-
- Article
- Export citation
J. Ridder. Die Gentzenschen Schluszverfahren in modalen Aussagenlogiken. Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A vol. 58 (1955), pp. 163–169, 170–177, 270–274, 275–276; also Indagationes mathematicae, vol. 17 (1955), pp. 163–169, 170–177, 270–274, 275–276. - K. Matsumoto, M. Ohnishi, and J. Ridder. Die Gentzenschen Schluszverfahren in modalen Aussagenlogiken. I. Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, vol. 60 (1957), pp. 481–491; Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, vol. 19 (1957), pp. 481–491. - J. Ridder. Die Gentzenschen Schluszverfahren in modalen Aussagenlogiken. II and III. Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, vol. 61 (1958), pp. 16–22, and pp. 23–27; also Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, vol. 20 (1958), pp. 16–22, and pp. 23–27.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-98
- Print publication:
- March 1975
-
- Article
- Export citation
Oliver Aberth. Analysis in the computable number field. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 275–299.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 84
- Print publication:
- March 1975
-
- Article
- Export citation
The word problem for free fields: a correction and an addendum
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 69-74
- Print publication:
- March 1975
-
- Article
- Export citation
A new look at the interpolation problem
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-13
- Print publication:
- March 1975
-
- Article
- Export citation
On characterizing Spector classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 19-24
- Print publication:
- March 1975
-
- Article
- Export citation
Oliver Aberth. The failure in computable analysis of a classical existence theorem for differential equations. Proceedings of the American Mathematical Society, vol. 30 (1971), pp. 151–156.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 85
- Print publication:
- March 1975
-
- Article
- Export citation