13629 results in The Journal of Symbolic Logic
Stephen A. Kiss. An introduction to algebraic logic.Stephen A. Kiss, 3 Laurel Lane, Westport, Conn., 1961, xiv + 38 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 270-271
- Print publication:
- June 1966
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 287-289
- Print publication:
- June 1966
-
- Article
- Export citation
Gerd Harbeck. Einführung in die formale Logik. Friedr. Vieweg & Sohn, Braunschweig1963, VI + 114 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 287
- Print publication:
- June 1966
-
- Article
- Export citation
Akira Nakamura. Tati ronri to sono kôrikei ni tuite (On the many-valued logics and an axiomatic system for them). Kagaku kisoron kenkyû (Journal of the Japan Association for Philosophy of Science), vol. 5 no. 4 (1962), pp. 165–171.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 274-275
- Print publication:
- June 1966
-
- Article
- Export citation
Hector-Neri Castaneda. A note on S5. The journal of symbolic logic, vol. 29 no. 4 (for 1964, pub. 1965), pp. 191–192.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 275
- Print publication:
- June 1966
-
- Article
- Export citation
Raphael M. Robinson. The undecidability of pure transcendental extensions of real fields. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 275–282. - Raphael M. Robinson. Nérazréšimost′ eléméntarnoj téorii polá racional'nyh funkcij ot odnogo péréménnogo s racional′nymi koefficiéntami (The undecidability of the elementary theory of the field of rational functions of one variable with rational coefficients). Russian translation by M. A. Tajclin. Algébra i logika, Séminar, vol. 2 no. 4 (1963), pp. 5–11.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 254-255
- Print publication:
- June 1966
-
- Article
- Export citation
H. B. Enderton. Hierarchies in recursive function theory. Transactions of the American Mathematical Society, vol. III (1964), pp. 457–471.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 262-263
- Print publication:
- June 1966
-
- Article
- Export citation
Henry A. Pogorzelski. Commutative recursive word arithmetic in the alphabet of prime numbers. Notre Dame journal of formal logic, vol. 5 no. 1 (1964), pp. 13–23.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 271
- Print publication:
- June 1966
-
- Article
- Export citation
E. J. Lemmon. Quantifiers and modal operators. Proceedings of the Aristotelian Society, vol. 58 (1957–1958), pp. 245–268.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 275-276
- Print publication:
- June 1966
-
- Article
- Export citation
The undecidability of the Turing machine immortality problem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 219-234
- Print publication:
- June 1966
-
- Article
- Export citation
Abstracts of papers
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 290-302
- Print publication:
- June 1966
-
- Article
-
- You have access
- Export citation
Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 290
- Print publication:
- June 1966
-
- Article
-
- You have access
- Export citation
G. Hasenjaeger. Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe. The journal of symbolic logic, vol. 18 (1953), pp. 42–48.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 268
- Print publication:
- June 1966
-
- Article
- Export citation
JSL volume 31 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- June 1966
-
- Article
-
- You have access
- Export citation
S. Feferman. Arithmetization of metamathematics in a general setting. Fundamenta mathematicae, vol. 49 no. 1 (1960), pp. 35–92.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-270
- Print publication:
- June 1966
-
- Article
- Export citation
V. A. Uspénskij. Lékcii o vyčislimyh funkciáh (Lectures on computable functions). Gosudarstvénnoé Izdatél′stvo Fiziko-matématičéskoj Literatury, Moscow1960, 492 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 263-264
- Print publication:
- June 1966
-
- Article
- Export citation
Jan Łukasiewicz. Aristotélévskaé sillogistika s točki zréniá sovréménnoj formal′noj logiki (Aristotle's syllogistic from the standpoint of modern formal logic). Izdatél′stvo Inostrannoj Litératury, Moscow1959, 311 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 285
- Print publication:
- June 1966
-
- Article
- Export citation
Rupert Schreiber. Logik des Rechts. Springer-Verlag, Berlin-Göttingen-Heidelberg1962, VIII + 100 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 286
- Print publication:
- June 1966
-
- Article
- Export citation
Ralph Monroe Eaton. Symbolism and truth. An introduction to the theory of knowledge. An unaltered reprint of 2902. Dover Publications, Inc., New York1964, xiv + 330 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-283
- Print publication:
- June 1966
-
- Article
- Export citation
Robert McNaughton. Undefinability of addition from one unary operator. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 329–337.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 270
- Print publication:
- June 1966
-
- Article
- Export citation