13629 results in The Journal of Symbolic Logic
Classification and interpretation
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 138-159
- Print publication:
- March 1989
-
- Article
- Export citation
Finitely based theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-225
- Print publication:
- March 1989
-
- Article
- Export citation
Sequential theories and infinite distributivity in the lattice of chapters
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 190-206
- Print publication:
- March 1989
-
- Article
- Export citation
Richard Routley with Val Plumwood, Robert K. Meyer, and Ross T. Brady. Relevant logics and their rivals. Part I. The basic philosophical and semantical theory. Ridgeview Publishing Company, Atascadero, Calif., 1982, xv + 460 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-296
- Print publication:
- March 1989
-
- Article
- Export citation
Positive ∑ operations on ordinals and normal filters on greatly mahlo cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 226-233
- Print publication:
- March 1989
-
- Article
- Export citation
Neil Immerman. Upper and lower bounds for first order expressibility. Journal of computer and system sciences, vol. 25 (1982), pp. 76–98. - Neil Immerman. Relational queries computable in polynomial time. Information and control, vol. 68 (1986), pp. 86–104. - Neil Immerman. Languages that capture complexity classes. SIAM journal on computing, vol. 16 (1987), pp. 760–778.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 287-288
- Print publication:
- March 1989
-
- Article
- Export citation
Subgroups of small index in infinite symmetric groups. II
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-99
- Print publication:
- March 1989
-
- Article
- Export citation
Modèles non standard en arithmétique et théorie des ensembles, Publications mathématiques de l'Université Paris VII, no. 22, U.E.R. de Mathématiques, Paris1987, 147 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 284-287
- Print publication:
- March 1989
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 303-304
- Print publication:
- March 1989
-
- Article
- Export citation
Kueker's conjecture for stable theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 207-220
- Print publication:
- March 1989
-
- Article
- Export citation
Finite extensions and the number of countable models
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 264-270
- Print publication:
- March 1989
-
- Article
- Export citation
Ultrafilters of character ω1
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-15
- Print publication:
- March 1989
-
- Article
- Export citation
Nigel J. Cutland. Nonstandard measure theory and its applications. The bulletin of the London Mathematical Society, vol. 15 (1983), pp. 529–589.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 290-291
- Print publication:
- March 1989
-
- Article
- Export citation
Stewart Shapiro. Second-order languages and mathematical practice. The journal of symbolic logic, vol. 50 (1985), pp. 714–742.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-293
- Print publication:
- March 1989
-
- Article
- Export citation
Jean H. Gallier. Logic for computer science. Foundations of automatic theorem proving. Harper & Row computer science and technology series. Harper & Row, New York1986, xv + 511 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 288-289
- Print publication:
- March 1989
-
- Article
- Export citation
Complementation in the Turing degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 160-176
- Print publication:
- March 1989
-
- Article
- Export citation
Ilkka Niiniluoto. Truthlikeness. Synthese library, vol. 195. D. Reidel Publishing Company, Dordrecht etc. 1987, xvii + 518 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 297-300
- Print publication:
- March 1989
-
- Article
- Export citation
Finite injury and Σ1-induction
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 38-49
- Print publication:
- March 1989
-
- Article
- Export citation
Consistency results about filters and the number of inequivalent growth types
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 50-56
- Print publication:
- March 1989
-
- Article
- Export citation
Graham Oddie. Likeness to truth. The University of Western Ontario series in philosophy of science, vol. 30. D. Reidel Publishing Company, Dordrecht etc. 1986, xv + 218 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 296-297
- Print publication:
- March 1989
-
- Article
- Export citation