13629 results in The Journal of Symbolic Logic
JSL volume 56 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1991
-
- Article
-
- You have access
- Export citation
Stephen Pollard. Philosophical introduction to set theory. University of Notre Dame Press, Notre Dame, Ind., and London, 1990, xii + 180 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 755-756
- Print publication:
- June 1991
-
- Article
- Export citation
Uwe Schöning. Logik für Informatiker. Second revised edition. Reihe Informatik, vol. 56. B. I. Wissenschaftsverlag, Mannheim, Vienna, and Zurich, 1989, 172 pp. - Uwe Schöning. Logic for computer scientists. English translation of the preceding. Progress in computer science and applied logic, vol. 8. Birkhäuser, Boston, Basel, and Berlin, 1989, ix + 166 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 761-762
- Print publication:
- June 1991
-
- Article
- Export citation
Proof theory in the USSR 1925–1969
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 385-424
- Print publication:
- June 1991
-
- Article
- Export citation
Lennart Åqvist. Introduction to deontic logic and the theory of normative systems. Indices, no. 4. Bibliopolis, Naples 1988 (© 1987), also distributed by Humanities Press, Atlantic Highlands, N.J., 280 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 756-757
- Print publication:
- June 1991
-
- Article
- Export citation
Susumu Hayashi and Hiroshi Nakano. PX. A computational logic. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1989, xiv + 200 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 763-766
- Print publication:
- June 1991
-
- Article
- Export citation
Jump embeddings in the Turing degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 563-591
- Print publication:
- June 1991
-
- Article
- Export citation
Some trivial considerations
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 624-631
- Print publication:
- June 1991
-
- Article
- Export citation
A universal inductive inference machine
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 661-672
- Print publication:
- June 1991
-
- Article
- Export citation
Samuel R. Buss. Bounded arithmetic. Studies in proof theory. Lecture notes, no. 3. Bibliopolis, Naples1986, v + 221 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 759-760
- Print publication:
- June 1991
-
- Article
- Export citation
Edward Nelson. The syntax of nonstandard analysis. Annals of pure and applied logic, vol. 38 (1988), pp. 123–134.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 751-752
- Print publication:
- June 1991
-
- Article
- Export citation
J. Richard Büchi. Finite automata, their algebras and grammars. Towards a theory of formal expressions. Edited by Dirk Siefkes. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1989, xii + 316 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 762-763
- Print publication:
- June 1991
-
- Article
- Export citation
An infinite superstable group has infinitely many conjugacy classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 618-623
- Print publication:
- June 1991
-
- Article
- Export citation
Π01-classes and Rado's selection principle
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 684-693
- Print publication:
- June 1991
-
- Article
- Export citation
The logic of first order intuitionistic type theory with weak sigma-elimination
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 467-483
- Print publication:
- June 1991
-
- Article
- Export citation
A direct proof of the Feferman-Vaught theorem and other preservation theorems in products
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 632-636
- Print publication:
- June 1991
-
- Article
- Export citation
Richard L. Tieszen. Mathematical intuition. Phenomenology and mathematical knowledge. Synthese library, vol. 203. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1989, xv + 209 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 356-360
- Print publication:
- March 1991
-
- Article
- Export citation
On chains of relatively saturated submodels of a model without the order property
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 124-128
- Print publication:
- March 1991
-
- Article
- Export citation
A. A. Markov and N. M. Nagornyi. Teoriya algorifmov. Matematicheskaya logika i osnovaniya matematiki. “Nauka,” Moscow1984, 432 pp. - Arto Salomaa. Computation and automata. Encyclopedia of mathematics and its applications, vol. 25. Cambridge University Press, Cambridge etc. 1985, xiii + 284 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-338
- Print publication:
- March 1991
-
- Article
- Export citation
Natural 3-valued logics—characterization and proof theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 276-294
- Print publication:
- March 1991
-
- Article
- Export citation