13629 results in The Journal of Symbolic Logic
Another intuitionistic completeness proof
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 644-662
- Print publication:
- September 1976
-
- Article
- Export citation
Dennis Sentilles. A bridge to advanced mathematics. The Williams & Wilkins Company, Baltimore 1975, xiii + 387 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 699-700
- Print publication:
- September 1976
-
- Article
- Export citation
JSL volume 41 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- September 1976
-
- Article
-
- You have access
- Export citation
A note on countable complete theories having three isomorphism types of countable models
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 672-680
- Print publication:
- September 1976
-
- Article
- Export citation
C. C. Chang and H. J. Keisler. Model theory. Studies in logic and the foundations of mathematics, vol. 73, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, xii + 550 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 697-699
- Print publication:
- September 1976
-
- Article
- Export citation
Douglas P. Lackey. Preface. Essays in analysis by Bertrand Russell, edited by Douglas Lackey, Allen & Unwin , Ltd., London, and George Braziller, Inc., New York, 1973, pp. 9–10.
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 700-702
- Print publication:
- September 1976
-
- Article
- Export citation
Types of simple α-recursively enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 419-426
- Print publication:
- June 1976
-
- Article
- Export citation
Modal reduction principles
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 301-312
- Print publication:
- June 1976
-
- Article
- Export citation
The decision problem for standard classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 460-464
- Print publication:
- June 1976
-
- Article
- Export citation
Large and small existentially closed structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 379-390
- Print publication:
- June 1976
-
- Article
- Export citation
Noncharacterizability of the syntax set
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 368-372
- Print publication:
- June 1976
-
- Article
- Export citation
λ-scales, κ-Souslin sets and a new definition of analytic sets1
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 373-378
- Print publication:
- June 1976
-
- Article
- Export citation
On finite lattices of degrees of constructibility of reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 313-322
- Print publication:
- June 1976
-
- Article
- Export citation
Order types of ordinals in models of set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 489-502
- Print publication:
- June 1976
-
- Article
- Export citation
Peter Heath. Introduction. On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, pp. vii–xxxi. - Peter Heath. Select bibliography. On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, p. xxxi. - Augustus de Morgan. On the syllogism: I. On the structure of the syllogism. A reprint of 202 with omission of the portion (or separate paper) entitled and on the application of the theory of probabilities to questions of argument and authority. On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, pp. 1–21. - Augustus de Morgan. On the syllogism: II. On the symbols of logic, the theory of the syllogism, and in particular of the copula. A reprint of 205 with omission of the portion (or separate paper) entitled and the application of the theory of probabilities to some questions of evidence. On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, pp. 22–68. - Augustus de Morgan. Some suggestions in logical phraseology. On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, pp. 69–73. (Reprinted from Proceedings of the Philological Society , 11 February 1853.) - Augustus de Morgan. On the syllogism: III. And on logic in general. Areprint of 205. On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, pp. 74–146. - Augustus de Morgan. Syllabus of a proposed system of logic. A reprint of 204 with omission of paragraphs 227–243. On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, pp. 147–207. - Augustus de Morgan. On the syllogism: IV. And on the logic of relations. A reprint of 20d and 207. On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, pp. 208–246. - Augustus de Morgan. Logic. A reprint of XX 307(3) “shortened and adapted to its present context, chiefly by the omission of obsolete bibliographical material.” On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, pp. 247–270. - Augustus de Morgan. On the syllogism: V. And on various points of the onymatic system. A reprint of 208. On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, pp. 271–345. - Augustus de Morgan. On the syllogism: VI. On quantity and location; on identity in relation to the syllogism; on the history of the mnemonic words, of the fourth figure, of logic at Cambridge, of the occult quality; on the triadic system of enunciation. On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, pp. 346–347.
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 08 April 2017, pp. 546-547
- Print publication:
- June 1976
-
- Article
- Export citation
Modal formulas are either elementary or not ΣΔ-elementary
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 436-438
- Print publication:
- June 1976
-
- Article
- Export citation
Countable initial segments of the degrees of unsolvability
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-300
- Print publication:
- June 1976
-
- Article
- Export citation
The infinite injury priority method1
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 513-530
- Print publication:
- June 1976
-
- Article
- Export citation
Charles C. Pinter. Set theory. Addison-Wesley Publishing Company, Reading, Mass., Menlo Park, Calif., London, and Don Mills, Ontario, 1971, viii + 216 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 548-549
- Print publication:
- June 1976
-
- Article
- Export citation
JSL volume 41 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- June 1976
-
- Article
-
- You have access
- Export citation