13629 results in The Journal of Symbolic Logic
Philosophical implications of Tarski's work1
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 80-91
- Print publication:
- March 1988
-
- Article
- Export citation
Charles N. Delzell. Note on quantifier prefixes over diophantine equations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 32 (1986), pp. 395–397. - J. P. Jones, H. Levitz, and A. J. Wilkie. Classification of quantifier prefixes over exponential diophantine equations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 32 (1986), pp. 399–406.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 309-310
- Print publication:
- March 1988
-
- Article
- Export citation
Seminormal λ-generated ideals on P κ λ
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 92-102
- Print publication:
- March 1988
-
- Article
- Export citation
Alfred Tarski's elimination theory for real closed fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 7-19
- Print publication:
- March 1988
-
- Article
- Export citation
Peter B. Andrews. An introduction to mathematical logic and type theory: to truth through proof. Computer science and applied mathematics. Academic Press, Orlando etc. 1986, xv + 304 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 312-314
- Print publication:
- March 1988
-
- Article
- Export citation
Generalizations of Deissler's Minimality Rank1
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-283
- Print publication:
- March 1988
-
- Article
- Export citation
On a theory of weak implications
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 200-211
- Print publication:
- March 1988
-
- Article
- Export citation
Alfred Tarski's work on general metamathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 36-50
- Print publication:
- March 1988
-
- Article
- Export citation
Definability in reducts of algebraically closed fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 188-199
- Print publication:
- March 1988
-
- Article
- Export citation
Finite automata, real time processes and counting problems in bounded arithmetics
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-258
- Print publication:
- March 1988
-
- Article
- Export citation
C. Smoryński. Self-reference and modal logic. Universitext. Springer-Verlag, New York, Berlin, etc., 1985, xii + 333 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 306-309
- Print publication:
- March 1988
-
- Article
- Export citation
Kit Fine. Reasoning with arbitrary objects. Aristotelian Society series, vol. 3. Basil Blackwell, Oxford 1986 (©1985), viii + 220 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 305-306
- Print publication:
- March 1988
-
- Article
- Export citation
MM. Borel, Tits, Zil′ber et le Général Nonsense
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 124-131
- Print publication:
- March 1988
-
- Article
- Export citation
Relational structures determined by their finite induced substructures
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-230
- Print publication:
- March 1988
-
- Article
- Export citation
B. C. Moszkowski. Executing temporal logic programs. Cambridge University Press, Cambridge etc. 1986, xiii + 125 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, p. 309
- Print publication:
- March 1988
-
- Article
- Export citation
Meeting of the association for symbolic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-334
- Print publication:
- March 1988
-
- Article
- Export citation
W. V. Quine. The time of my life. An autobiography. Bradford books. The MIT Press, Cambridge, Mass., and London, 1985, xii + 499 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 301-303
- Print publication:
- March 1988
-
- Article
- Export citation
A high strongly noncappable degree
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 174-187
- Print publication:
- March 1988
-
- Article
- Export citation
Mathematics in philosophy, Selected essays, by Charles Parsons, Cornell University Press, Ithaca, N.Y., 1983, 365 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 320-329
- Print publication:
- March 1988
-
- Article
- Export citation
JSL volume 53 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- March 1988
-
- Article
-
- You have access
- Export citation