13629 results in The Journal of Symbolic Logic
A Δ02 theory of regressive isols
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 459-468
- Print publication:
- September 1974
-
- Article
- Export citation
Klaus Gloede. Ordinals with partition properties and the constructible hierarchy. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 18 (1972), pp. 135–164.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 598-599
- Print publication:
- September 1974
-
- Article
- Export citation
1975 international symposium on multiple-valued logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 624
- Print publication:
- September 1974
-
- Article
- Export citation
Note on the Kondo-Addison theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 567-570
- Print publication:
- September 1974
-
- Article
- Export citation
Jan Łukasiewicz. On the principle of contradiction in Aristotle. English translation of 1861 by Vernon Wedin. The review of metaphysics, vol. 24 no. 3 (1971), pp. 485–509.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 619
- Print publication:
- September 1974
-
- Article
- Export citation
B. A. Trahténbrot. O častotnom vyčislénii funkcij (On frequential computation of functions). Algébra i logika, Séminar, vol. 2 no. 1 (1963), pp. 25–32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 606
- Print publication:
- September 1974
-
- Article
- Export citation
Ú. L. Éršov. I. A. Lavrov, A. D. Tajmanov, and M. A. Tajclin. Eléméntarnyé téorii. Uspéhi matématičéskih nauk, vol. 20 no. 4 (1965), pp. 37–108. - Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov, and M. A. Taitslin. Elementary theories. English translation of the preceding by P. M. Cohn. Russian mathematical surveys, vol. 20 no. 4 (1965), pp. 35–105.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 603
- Print publication:
- September 1974
-
- Article
- Export citation
Robert Wall. Introduction to mathematical linguistics. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1972, xiv + 337 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 615-616
- Print publication:
- September 1974
-
- Article
- Export citation
Hao Wang. Logic, computation and philosophy. L'âge de la science, vol. 3 (1970), pp. 101–115.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 358-359
- Print publication:
- June 1974
-
- Article
- Export citation
S. R. Kogalovskij. Ob algébraičéskih konstrukciáh sohranáúščih kompaktnost'. Russian original of XXXIX 368(1). Sibirskij matématičéskij žurnal, vol. 8 (1967), pp. 1202–1205.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 338-339
- Print publication:
- June 1974
-
- Article
- Export citation
Nonrecursive tilings of the plane. I
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 283-285
- Print publication:
- June 1974
-
- Article
- Export citation
M. I. Séménénko. Svojstva nékotoryh podlogik klassičéskogo i intuicionistskogo isčislénij vyskazyvanij (Properties of some sublogics of the classical and intuitionistic propositional calculi). Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 16 (1970), pp. 201–238.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 351-352
- Print publication:
- June 1974
-
- Article
- Export citation
JSL volume 39 issue 2 Cover and Front matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f8
- Print publication:
- June 1974
-
- Article
-
- You have access
- Export citation
R. E. Vesley. A palatable substitute for Kripke's schema. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1970, pp. 197–207.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 334
- Print publication:
- June 1974
-
- Article
- Export citation
On existence proofs of Hanf numbers1
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 318-324
- Print publication:
- June 1974
-
- Article
- Export citation
Gerald E. Sacks. Forcing with perfect closed sets. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 331–355.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
- Print publication:
- June 1974
-
- Article
- Export citation
JSL volume 39 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- June 1974
-
- Article
-
- You have access
- Export citation
Notice of the new journal Teaching Philosophy
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 370
- Print publication:
- June 1974
-
- Article
- Export citation
Jens Erik Fenstad. The axiom of determinateness. 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 London 1971, pp. 41–61.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 331-332
- Print publication:
- June 1974
-
- Article
- Export citation
John Cleave. The primitive recursive analysis of ordinary differential equations and the complexity of their solutions. Journal of computer and system sciences, vol. 3 (1969), pp. 447–455.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-346
- Print publication:
- June 1974
-
- Article
- Export citation