13629 results in The Journal of Symbolic Logic
Jean van Heijenoort. El desarrollo de la teoria de la cuantificación. Instituto de Investigaciones Filosóficas, Universidad Nacional Autonoma de México, Mexico City1976, 57 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 635-636
- Print publication:
- September 1980
-
- Article
- Export citation
Ordinal analysis of terms of finite type
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 3 / September 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 493-504
- Print publication:
- September 1980
-
- Article
- Export citation
Constructible models of subsystems of ZF
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 237-250
- Print publication:
- June 1980
-
- Article
- Export citation
European meeting of the Association for Symbolic Logic, Mons, Belgium, 1978
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 386-414
- Print publication:
- June 1980
-
- Article
- Export citation
Robert Blanché. La Logique et son histoire: d'Aristote à Russell. Collection U. Librairie Armand Colin, Paris1970, 366 p.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, p. 371
- Print publication:
- June 1980
-
- Article
- Export citation
Some theories associated with algebraically closed fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 359-362
- Print publication:
- June 1980
-
- Article
- Export citation
Wilhelm K. Essler. Einführung in die Logik. Alfred Kröner Verlag, Stuttgart1966, 239 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 381-382
- Print publication:
- June 1980
-
- Article
- Export citation
J. L. Bell and M. Machover. A course in mathematical logic. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1977, xix + 599 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 378-379
- Print publication:
- June 1980
-
- Article
- Export citation
Arthur W. Burks. Chance, cause, reason. An inquiry into the nature of scientific evidence. The University of Chicago Press, Chicago and London1977, xvi + 694 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, p. 373
- Print publication:
- June 1980
-
- Article
- Export citation
A. G. Hamilton. Logic for mathematicians. Cambridge University Press, Cambridge etc. 1978, viii + 224 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 379-380
- Print publication:
- June 1980
-
- Article
- Export citation
Karl J. Smith. Introduction to symbolic logic. Contemporary undergraduate mathematics series. Brooks/Cole Publishing Company, Monterey, Calif., 1974, viii + 119 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 384-385
- Print publication:
- June 1980
-
- Article
- Export citation
Nicholas J. Moutafakis. Imperatives and their logics. Sterling Publishers Pvt Ltd, New Delhi and Jullundur City, India, 1975, xv + 216 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 375-376
- Print publication:
- June 1980
-
- Article
- Export citation
Substance and first-order quantification over individual-concepts
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-203
- Print publication:
- June 1980
-
- Article
- Export citation
JSL volume 45 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- June 1980
-
- Article
-
- You have access
- Export citation
Jumping through the transfinite: the master code hierarchy of Turing degrees1
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 204-220
- Print publication:
- June 1980
-
- Article
- Export citation
Sequential method in quantum logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-352
- Print publication:
- June 1980
-
- Article
- Export citation
Susan Haack. Philosophy of logics. Cambridge University Press, Cambridge etc. 1978, xvi + 276 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 372-373
- Print publication:
- June 1980
-
- Article
- Export citation
Herbert R. Otto. The linguistic basis of logic translation. University Press of America, Washington, D. C., 1978, x + 201 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 373-374
- Print publication:
- June 1980
-
- Article
- Export citation
On the elementary equivalence of automorphism groups of Boolean algebras; downward Skolem Löwenheim theorems and compactness of related quantifiers
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 265-283
- Print publication:
- June 1980
-
- Article
- Export citation
The lattice of modal logics: an algebraic investigation
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-236
- Print publication:
- June 1980
-
- Article
- Export citation