13630 results in The Journal of Symbolic Logic
H. Andréka, T. Gergely, and I. Németi. On universal algebraic constructions of logics. Studia logica, vol. 36 (1977), pp. 9–47.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 663-664
- Print publication:
- September 1981
-
- Article
- Export citation
Saharon Shelah. End extensions and numbers of countable models. The journal of symbolic logic, vol. 43 (1978), pp. 550–562.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, p. 663
- Print publication:
- September 1981
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, p. 703
- Print publication:
- September 1981
-
- Article
- Export citation
Robert M. Solovay. Provability interpretations of modal logic. Israel journal of mathematics, vol. 25 (1976), pp. 287–304.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 661-662
- Print publication:
- September 1981
-
- Article
- Export citation
A result on implications of Σ1-sentences and its application to normal form theorems
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 634-642
- Print publication:
- September 1981
-
- Article
- Export citation
JSL volume 46 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1981
-
- Article
-
- You have access
- Export citation
Analysis without actual infinity
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-633
- Print publication:
- September 1981
-
- Article
- Export citation
Busy beaver sets and the degrees of unsolvability1
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 460-474
- Print publication:
- September 1981
-
- Article
- Export citation
First-order topological axioms
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 475-489
- Print publication:
- September 1981
-
- Article
- Export citation
On the proof theory of the modal logic for arithmetic provability
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 531-538
- Print publication:
- September 1981
-
- Article
- Export citation
An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 523-530
- Print publication:
- September 1981
-
- Article
- Export citation
Théories instables
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 513-522
- Print publication:
- September 1981
-
- Article
- Export citation
Ferdinand Gonseth. Les fondements des mathematiques. De la géometrie d'Euclide à la relativé générate et à l'intuitionisme. A reprint of 3411. Librairie scientifique et technique. Albert Blanchard, Paris1974, xiv + 243 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, p. 668
- Print publication:
- September 1981
-
- Article
- Export citation
H. Jerome Keisler. Elementary calculus. Prindle, Weber & Schmidt, Boston1976, xviii + 880 + A61 pp. - H. Jerome Keisler. Foundations of infinitesimal calculus. Prindle, Weber & Schmidt, Boston1976, ix + 214 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 673-676
- Print publication:
- September 1981
-
- Article
- Export citation
Recursively presented Abelian groups: Effective p-Group theory. I
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 617-624
- Print publication:
- September 1981
-
- Article
- Export citation
Annual Meeting of the Association for Symbolic Logic, Washington, DC 1977
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 677-689
- Print publication:
- September 1981
-
- Article
- Export citation
Michael J. Loux. The ontology of William of Ockham. Ockham's theory of terms, Part I of the Summa logicae, translated and introduced by Michael J. Loux, University of Notre Dame Press, Notre Dame and London1974, pp. 1–21. - Michael J. Loux. Ockham on generality. Ockham's theory of terms, Part I of the Summa logicae, translated and introduced by Michael J. Loux, University of Notre Dame Press, Notre Dame and London1974, pp. 23–46.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 667-668
- Print publication:
- September 1981
-
- Article
- Export citation
Brian Ellis. Rational belief systems. APQ library of philosophy. Rowman and Littlefield, Totowa, N.J., 1979, ix + 118 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 668-670
- Print publication:
- September 1981
-
- Article
- Export citation
Kenneth A. Bowen. Model theory for modal logic. Kripke models for modal predicate calculi. Synthese library, vol. 127. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, x + 127 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 415-417
- Print publication:
- June 1981
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Melbourne, Australia, 1979
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 424-426
- Print publication:
- June 1981
-
- Article
- Export citation