13629 results in The Journal of Symbolic Logic
List of officers and members of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 484-504
- Print publication:
- December 1962
-
- Article
- Export citation
S. A. Ánovskaá. Matématičéskaá logika i osnovaniá matématiki (Mathematical logic and the foundations of mathematics). Matématika v SSSR za sorok lét 1917–1957, Vol. I, Obzornyé stat'i, Gosudarstvénnoé Izdatél′stvo Fiziko-matématičéskoj Litératury, Moscow 1959, pp. 13–120.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 470
- Print publication:
- December 1962
-
- Article
- Export citation
Functional completeness and canonical forms in many-valued logics1
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 409-422
- Print publication:
- December 1962
-
- Article
- Export citation
Paul R. Halmos. The representation of monadic Boolean algebras. Duke mathematical journal, vol. 26 (1959), pp. 447–454. Reprinted in Algebraic logic, by Paul R. Halmos, Chelsea Publishing Company, New York 1962, pp. 75–82.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 468-469
- Print publication:
- December 1962
-
- Article
- Export citation
JSL volume 27 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f8
- Print publication:
- December 1962
-
- Article
-
- You have access
- Export citation
Extensions of some theorems of Anderson and Belnap
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 423-425
- Print publication:
- December 1962
-
- Article
- Export citation
On McKinsey's syntactical characterizations of systems of modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 400-406
- Print publication:
- December 1962
-
- Article
- Export citation
Norwood Russell Hanson. The Gödel theorem. An informal exposition. Notre Dame journal of formal logic, vol. 2 (1961), pp. 94–110.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 471-472
- Print publication:
- December 1962
-
- Article
- Export citation
The independence of connectives
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 426-436
- Print publication:
- December 1962
-
- Article
- Export citation
Twenty-eighth annual Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 475-483
- Print publication:
- December 1962
-
- Article
- Export citation
Shôji Maehara and Gaisi Takeuti. A formal system of first-order predicate calculus with infinitely long expressions. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 357–370.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 468
- Print publication:
- December 1962
-
- Article
- Export citation
Luis Elpidio Sanchis. Nueva demostración de la completicidad funcional del cálculo proposicional bivalente. Notre Dame journal of formal logic, vol. 2 (1961), pp. 33–40.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 471
- Print publication:
- December 1962
-
- Article
- Export citation
Transfinite recursive progressions of axiomatic theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 259-316
- Print publication:
- September 1962
-
- Article
- Export citation
Some forms of completeness
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 344-352
- Print publication:
- September 1962
-
- Article
- Export citation
Klaus Härtig. Zur Axiomatisierung der Nicht-Identitäten des Aussagenkalküls, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 240–247.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 367
- Print publication:
- September 1962
-
- Article
- Export citation
V. K. Détlovs. Ékvivaleninost′ normal'nyh algorifmov i rékursivnyh funkcij (The equivalence of normal algorithms and recursive functions). Problémy konstruktivnogo napravléniá v matematike, 1, Sbornik rabot, edited by N. A. Šanin. Trudy Maté-matičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatéľstvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 75–139.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 362
- Print publication:
- September 1962
-
- Article
- Export citation
Gaisi Takeuti. Axioms of infinity of set theory. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 220–233.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 354-355
- Print publication:
- September 1962
-
- Article
- Export citation
Reviews - Paul Bernays. Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 3–49.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 353-354
- Print publication:
- September 1962
-
- Article
- Export citation
A. Grzegorczyk. An example of two weak essentially undecidable theories F and F*. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 (1962), pp. 5–9.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 358
- Print publication:
- September 1962
-
- Article
- Export citation
A. P. Éršov. Opératornyé algorifmy. I. (Osnovnyé ponátiá). (Operator algorithms. I. Basic concepts.) Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 (1960), pp. 5–48.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 364-366
- Print publication:
- September 1962
-
- Article
- Export citation