13629 results in The Journal of Symbolic Logic
Ladislav Rieger. A contribution to Gödel's axiomatic set theory, II and III. English with Russian summaries. Čéhoslovačkij matématičéskij žurnal (Czechoslovak mathematical journal), vol. 9 (1959), pp. 1–49, and vol. 13 (1963), pp. 51–88.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 242-243
- Print publication:
- June 1975
-
- Article
- Export citation
Ronald Björn Jensen. On the consistency of a slight (?) modification of Quine's New foundations. Words and objections, Essays on the work of W. V. Quine, edited by Donald Davidson and Jaakko Hintikka, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1969, pp. 278–291. (Reprinted from Synthese, vol. 19 no. 1–2 (1968), pp. 250–263.) - W. V. Quine. Reply to Jensen. Words and objections, Essays on the work of W. V. Quine, edited by Donald Davidson and Jaakko Hintikka, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1969, pp. 349–352. (Reprinted from the same, pp. 319–322.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 241-242
- Print publication:
- June 1975
-
- Article
- Export citation
The inadequacy of the neighbourhood semantics for modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 141-148
- Print publication:
- June 1975
-
- Article
- Export citation
Jean-Pierre Bénéjam. Application du théorème de Herbrand à la présentation de thèses tératologiques du calcul des prédicats élémentaire. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, ser. A vol. 268 (1969), pp. 757–760. - Roland Fraïssé. Réflexions sur la complétude selon Herbrand. International logic review-Rassegna internazionale di logica (Bologna), vol. 3 no. 1 (1972), pp. 86–98.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 238-239
- Print publication:
- June 1975
-
- Article
- Export citation
R. Harrop. Some forms of models of propositional calculi. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 163–174. - Ronald Harrop. On the equivalence for non-derivability testing of finite Smiley models and finite modified Smiley models. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 17 (1971), pp. 137–143.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
- Print publication:
- June 1975
-
- Article
- Export citation
C. C. Chang and Yiannis N. Moschovakis. The Suslin-Kleene theorem for Vκ with cofinality (κ) = ω. Pacific journal of mathematics, vol. 35 (1970), pp. 565–569.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 245
- Print publication:
- June 1975
-
- Article
- Export citation
D. Paul Snyder. Modal logic and its applications. Van Nostrand Reinhold Company, New York, Cincinnati, Toronto, London, and Melbourne, 1971, xiv + 335 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 251-252
- Print publication:
- June 1975
-
- Article
- Export citation
Sze-Tsen Hu. Threshold logic. University of California Press, Berkeley and Los Angeles1965, xiv + 338 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
- Print publication:
- June 1975
-
- Article
- Export citation
Joseph R. Shoenfield. Mathematical logic. Addison-Wesley Publishing Company, Reading, Mass., Menlo Park, Calif., London, and Don Mills, Ontario, 1967, viii + 344 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 234-236
- Print publication:
- June 1975
-
- Article
- Export citation
Yoemon Sampei. On the principle of effective choice and its applications. Commentarii mathematici Universitatis Sancti Pauli, vol. 15 (1966), pp. 29–42.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-244
- Print publication:
- June 1975
-
- Article
- Export citation
An algebraic characterization of power set in countable standard models of ZF1
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 167-170
- Print publication:
- June 1975
-
- Article
- Export citation
JSL volume 40 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1975
-
- Article
-
- You have access
- Export citation
J. N. Crossley, C. J. Ash, C. J. Brickhill, J. C. Still Well, and N. H. Williams. What is mathematical logic?Oxford University Press, London, Oxford, and New York, 1972, ix + 82 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 241
- Print publication:
- June 1975
-
- Article
- Export citation
ℵ0-categorical modules
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 213-220
- Print publication:
- June 1975
-
- Article
- Export citation
Sheila Greibach. A note on undecidable properties of formal languages. Mathematical systems theory, vol. 2 (1968), pp. 1–6.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 245
- Print publication:
- June 1975
-
- Article
- Export citation
Dag Prawitz. Ideas and results in proof theory. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London1971, pp. 235–307.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 232-234
- Print publication:
- June 1975
-
- Article
- Export citation
Timothy Smiley. The independence of connectives. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 426–436.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 250-251
- Print publication:
- June 1975
-
- Article
- Export citation
V. N. Agafonov. Složnost' vyčisléniá psévdoslučajnyh poslédovatél'nostéj. Algébra i logika, vol. 7 no. 2 (1968), pp. 4–19. - V. N. Agafonov. Complexity of computing pseudorandom sequences. English translation of the preceding. Algebra and logic (New York), vol. 7 (1968), pp. 72–81.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 248-249
- Print publication:
- June 1975
-
- Article
- Export citation
A simplification of the Bachmann method for generating large countable ordinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-185
- Print publication:
- June 1975
-
- Article
- Export citation
Sets equipollent to their power set in NF
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 149-150
- Print publication:
- June 1975
-
- Article
- Export citation