13629 results in The Journal of Symbolic Logic
Alexander S. Kechris and Yiannis N. Moschovakis. Notes on the theory of scales. Cabal seminar 76–77, Proceedings, Caltech-UCLA Logic Seminar 1976–77, edited by A. S. Kechris and Y. N. Moschovakis, Lecture notes in mathematics, vol. 689, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, pp. 1–53.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 849-851
- Print publication:
- September 1985
-
- Article
- Export citation
Melvin Fitting. Proof methods for modal and intuitionistic logics. Synthese library, vol. 169. D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, viii + 555 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 855-856
- Print publication:
- September 1985
-
- Article
- Export citation
On the number of independent partitions
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 809-814
- Print publication:
- September 1985
-
- Article
- Export citation
Functional interpretation of the β-rule1
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 791-805
- Print publication:
- September 1985
-
- Article
- Export citation
On Cantor-Bendixson spectra containing (1,1). II1
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 611-618
- Print publication:
- September 1985
-
- Article
- Export citation
JSL volume 50 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- September 1985
-
- Article
-
- You have access
- Export citation
Acknowledgement of priority
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, p. 781
- Print publication:
- September 1985
-
- Article
- Export citation
Second-order languages and mathematical practice
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 714-742
- Print publication:
- September 1985
-
- Article
- Export citation
Generalisation of first-order logic to nonatomic domains
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 815-838
- Print publication:
- September 1985
-
- Article
- Export citation
David R. Dowty, Robert E. Wall, and Stanley Peters. Introduction to Montague semantics. Synthese language library, vol. 11. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, xi + 313 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 856-858
- Print publication:
- September 1985
-
- Article
- Export citation
On the T-degrees of partial functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 580-588
- Print publication:
- September 1985
-
- Article
- Export citation
Extension of relatively σ-additive probabilities on Boolean algebras of logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 589-596
- Print publication:
- September 1985
-
- Article
- Export citation
Church-Rosser theorem for typed functional systems1
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 782-790
- Print publication:
- September 1985
-
- Article
- Export citation
JSL volume 50 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1985
-
- Article
-
- You have access
- Export citation
Model theory under the axiom of determinateness
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 3 / September 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 773-780
- Print publication:
- September 1985
-
- Article
- Export citation
Effective discontinuity and a characterisation of the superjump
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 349-358
- Print publication:
- June 1985
-
- Article
- Export citation
Brian Skyrms. Causal necessity. A pragmatic investigation of the necessity of laws. Yale University Press, New Haven and London1980, xii + 205 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 557-558
- Print publication:
- June 1985
-
- Article
- Export citation
3088 varieties: A solution to the Ackermann constant problem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 487-501
- Print publication:
- June 1985
-
- Article
- Export citation
The metatheory of the classical propositional calculus is not axiomatizable
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 451-457
- Print publication:
- June 1985
-
- Article
- Export citation
Quelques précisions sur la D.O.P. et la profondeur d'une théorie
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 316-330
- Print publication:
- June 1985
-
- Article
- Export citation