13629 results in The Journal of Symbolic Logic
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 415-416
- Print publication:
- June 1980
-
- Article
- Export citation
Samuel D. Guttenplan and Martin Tamny. Logic. A comprehensive introduction. Second, revised, and expanded edition. Basic Books, Inc., New York1978, xiv + 401 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 383-384
- Print publication:
- June 1980
-
- Article
- Export citation
E. Cohors-Fresenborg. Mathematik mit Kalkülen and Maschinen. Mit Vorwort von Dieter Rödding. Logik und Grundlagen der Mathematik, Bd. 20. Vieweg, Braunschweig1977, VIII + 184 S.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 380-381
- Print publication:
- June 1980
-
- Article
- Export citation
Bas C. van Fraassen. Formal semantics and logic. The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1971, xi + 225 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 376-377
- Print publication:
- June 1980
-
- Article
- Export citation
The equational theory of CA3 is undecidable1
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 311-316
- Print publication:
- June 1980
-
- Article
- Export citation
Alex Orenstein. Willard Van Orman Quine. Twayne's world leaders series, no. 65. Twayne Publishers, Boston1977, 180 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 371-372
- Print publication:
- June 1980
-
- Article
- Export citation
Recursion theory on orderings. II
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 317-333
- Print publication:
- June 1980
-
- Article
- Export citation
JSL volume 45 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1980
-
- Article
-
- You have access
- Export citation
Theories with exactly three countable models and theories with algebraic prime models
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 302-310
- Print publication:
- June 1980
-
- Article
- Export citation
Wilfrid Hodges. Logic. Pelican books. Penguin Books, Harmondsworth, England, 1977, 331 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 382-383
- Print publication:
- June 1980
-
- Article
- Export citation
Anton Dumitriu. Istoria logicii. Editura Didactică şi Pedagogică, Bucharest1969, 1049 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 370-371
- Print publication:
- June 1980
-
- Article
- Export citation
Anton Dumitriu. History of logic. Volume III. Revised and enlarged English translation of Parts VI and VII of the second edition of Istoria logicii by Duiliu Zamfirescu, Dinu Giurcăneanu, and Doina Doneaud. Abacus Press, Tunbridge Wells, Kent, 1977, ix + 393 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 369-370
- Print publication:
- June 1980
-
- Article
- Export citation
Beth's property fails in L<ω1
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 284-290
- Print publication:
- June 1980
-
- Article
- Export citation
On the bounded monadic theory of well-ordered structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-338
- Print publication:
- June 1980
-
- Article
- Export citation
Haskell B. Curry. Foundations of mathematical logic. Corrected reprint of XXXVIII 149. Dover Publications, Inc., New York1977, viii + 408 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 377-378
- Print publication:
- June 1980
-
- Article
- Export citation
On ℵ0-categorical nilrings. II1
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-301
- Print publication:
- June 1980
-
- Article
- Export citation
A strengthening of Jensen's □ principles
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 251-264
- Print publication:
- June 1980
-
- Article
- Export citation
Innocuous substitutions
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 363-368
- Print publication:
- June 1980
-
- Article
- Export citation
On computational complexity in weakly admissible structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 353-358
- Print publication:
- June 1980
-
- Article
- Export citation
Hans Hermes. Introduction to mathematical logic. English translation of XXXVIII 518 by Diana Schmidt. Springer-Verlag, New York, Heidelberg, and Berlin, 1973, XI + 242 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 187-188
- Print publication:
- March 1980
-
- Article
- Export citation