13629 results in The Journal of Symbolic Logic
Beppo Levi. Intorno alia teoria degli aggregati. Reale Istituto Lombardo di Scienze e Lettere, Rendiconti, ser. 2 vol. 35 (1902), pp. 863–868.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 527
- Print publication:
- September 1975
-
- Article
- Export citation
E. M. Kleinberg The independence of Ramsey's theorem. The journal of symbolic logic, vol. 34 (1969), pp. 205–206.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 462
- Print publication:
- September 1975
-
- Article
- Export citation
JSL volume 40 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- September 1975
-
- Article
-
- You have access
- Export citation
Bimal Krishna Matilal. The Navya-nyāya doctrine of negation. The semantics and ontology of negative statements in Navya-nyāya philosophy. Harvard oriental series, vol. 46, Harvard University Press, Cambridge, Mass., 1968, xi + 208 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 445-447
- Print publication:
- September 1975
-
- Article
- Export citation
Constructive set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 347-382
- Print publication:
- September 1975
-
- Article
- Export citation
Notice of the Journal of Philosophical Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 528
- Print publication:
- September 1975
-
- Article
- Export citation
Richard Mansfield. Perfect subsets of definable sets of real numbers. Pacific journal of mathematics, vol. 35 (1970), pp. 451–457.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 462
- Print publication:
- September 1975
-
- Article
- Export citation
Richard Montague. Set theory and higher-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 131–148.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 459
- Print publication:
- September 1975
-
- Article
- Export citation
The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 321-346
- Print publication:
- September 1975
-
- Article
- Export citation
A. S. Troelstra. Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N. Y. Lecture notes in mathematics, no. 95. Springer-Verlag, Berlin, Heidelberg, and New York, 1969, 111 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 447-448
- Print publication:
- September 1975
-
- Article
- Export citation
Rudolf Carnap. Inductive logic and inductive intuition. The problem of inductive logic, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 2, edited by Imre Lakatos, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 258–267. - M. Bunge, J. W. N. Watkins, Y. Bar-Hillel, K. R. Popper, J. Hintikka, R. Carnap. Discussion. The problem of inductive logic, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 2, edited by Imre Lakatos, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 268–314.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 449-450
- Print publication:
- September 1975
-
- Article
- Export citation
E. G. K. Lopez-Escobar. A non-interpolation theorem. English with Russian summary. Bulletin de l'Académic Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 17 (1969), pp. 109–112, V.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 457-458
- Print publication:
- September 1975
-
- Article
- Export citation
Paul J. Cohen. Comments on the foundations of set theory. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 9–15.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 459-460
- Print publication:
- September 1975
-
- Article
- Export citation
Jerzy SŁupecki. Logic in Poland. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I, Logique et fondements des mathématiques), edited by Raymond Klibansky, La Nuova Italia Editrice, Florence1968, pp. 190–201. - Maria Kokoszyńska. Kazimierz Ajdukiewicz. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I, Logique et fondements des mathématiques), edited by Raymond Klibansky, La Nuova Italia Editrice, Florence1968, pp. 202–208. - Ettore Casari. La logique en Italie. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I, Logique et fondements des mathématiques), edited by Raymond Klibansky, La Nuova Italia Editrice, Florence1968, pp. 224–227.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 472
- Print publication:
- September 1975
-
- Article
- Export citation
Complete theories with countably many rigid nonisomorphic models1
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 389-392
- Print publication:
- September 1975
-
- Article
- Export citation
Roland Fraïssé. Une généralisation de l'ultraproduit. The journal of symbolic logic, vol. 31 (1966), pp. 235–244.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 457
- Print publication:
- September 1975
-
- Article
- Export citation
Roberto Cignoli. Moisil algebras. Notas de lógica matematica, no. 27. Instituto de Matemática, Universidad Nacional del Sur, Bahía Blanca1970, 47 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 464-465
- Print publication:
- September 1975
-
- Article
- Export citation
Saharon Shelah. For what filters is every reduced product saturated?Israel journal of mathematics, vol. 12 (1972), pp. 23–31.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 456
- Print publication:
- September 1975
-
- Article
- Export citation
E. M. Kleinberg. Strong partition properties for infinite cardinals. The journal of symbolic logic, vol. 35 (1970), pp. 410–428.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 463
- Print publication:
- September 1975
-
- Article
- Export citation
Per Martin-Löf. The definition of random sequences. Information and control, vol. 9 (1966), pp. 602–619. - Per Martin-Löf. The literature on von Mises' Kollectivs revisited. Theoria, vol. 35 (1969), pp. 12–37. - Per Martin-Löf. On the notion of randomness. 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. 73–78.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 450-452
- Print publication:
- September 1975
-
- Article
- Export citation