13629 results in The Journal of Symbolic Logic
Some anomalies in Fitch's system QD
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 247-249
- Print publication:
- June 1978
-
- Article
- Export citation
Hugues Leblanc. Truth-value semantics. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1976, XII + 319 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 376-377
- Print publication:
- June 1978
-
- Article
- Export citation
Howard Pospesel. Introduction to logic. Propositional logic. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1974, xii + 211 pp. - Howard Pospesel. Introduction to logic. Predicate logic. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1976, xiii + 205 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, p. 383
- Print publication:
- June 1978
-
- Article
- Export citation
Nuel D. BelnapJr., and Thomas B. Steel Jr. The logic of questions and answers. Yale University Press, New Haven and London1976, vii + 209 pp. - Urs Egli and Hubert Schleichert. Bibliography of the theory of questions and answers. Therein, pp. 155–200.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 379-380
- Print publication:
- June 1978
-
- Article
- Export citation
Ordinals connected with formal theories for transfinitely iterated inductive definitions
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-182
- Print publication:
- June 1978
-
- Article
- Export citation
Major subspaces of recursively enumerable vector spaces1
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-303
- Print publication:
- June 1978
-
- Article
- Export citation
The uniform regular set theorem in α-recursion theory1
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 270-279
- Print publication:
- June 1978
-
- Article
- Export citation
JSL volume 43 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1978
-
- Article
-
- You have access
- Export citation
Formalisations of further ℵ0-valued Łukasiewicz propositional calculi
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 207-210
- Print publication:
- June 1978
-
- Article
- Export citation
An incomplete nonnormal extension of S3
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 211-212
- Print publication:
- June 1978
-
- Article
- Export citation
An ideal game
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 284-292
- Print publication:
- June 1978
-
- Article
- Export citation
Susan Haack. Deviant logic. Some philosophical issues. Cambridge University Press, New York and London1974, xiv + 191 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 377-379
- Print publication:
- June 1978
-
- Article
- Export citation
Diagonalization in degree constructions
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 280-283
- Print publication:
- June 1978
-
- Article
- Export citation
JSL volume 43 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- June 1978
-
- Article
-
- You have access
- Export citation
A type-free Gödel interpretation
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 213-227
- Print publication:
- June 1978
-
- Article
- Export citation
William Gustason and Dolph E. Ulrich. Elementary symbolic logic. Holt, Rinehart and Winston, Inc., New York etc. 1973, viii + 280 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 382-383
- Print publication:
- June 1978
-
- Article
- Export citation
John E. Clifford. Tense and tense logic. Janua linguarum, series minor, no. 215. Mouton, The Hague and Paris1975, 173 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, p. 381
- Print publication:
- June 1978
-
- Article
- Export citation
Three universal representations of recursively enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 335-351
- Print publication:
- June 1978
-
- Article
- Export citation
Martin Davis. Applied nonstandard analysis. Pure and applied mathematics. A Wiley-Interscience publication, John Wiley & Sons, New York, London, Sydney, and Toronto, 1977, xiii + 181 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 383-384
- Print publication:
- June 1978
-
- Article
- Export citation
Frank R. Drake. Set theory. An introduction to large cardinals. Studies in logic and the foundations of mathematics, vol. 76. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, xii + 351 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, p. 384
- Print publication:
- June 1978
-
- Article
- Export citation