13629 results in The Journal of Symbolic Logic
The system CΔ of combinatory logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-97
- Print publication:
- March 1963
-
- Article
- Export citation
A. Grzegorczyk. A theory without recursive models. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 (1962), pp. 63–69.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 102-103
- Print publication:
- March 1963
-
- Article
- Export citation
JSL volume 28 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
- Print publication:
- March 1963
-
- Article
-
- You have access
- Export citation
Some remarks concerning theories with recursively enumerable complements1
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 72-74
- Print publication:
- March 1963
-
- Article
- Export citation
Grigore C. Moisil. Dezvoltarea in R.P.R. a teorici algebrice a schemelor cu contacte şi relee (Development in the R.P.R. of the algebraic theory of contact and relay circuits). Automatica şi electronica, vol. 3 no. 4 (1959), pp. 152–160.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 104
- Print publication:
- March 1963
-
- Article
- Export citation
A weak completeness theorem for infinite valued first-order logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 43-50
- Print publication:
- March 1963
-
- Article
- Export citation
Remark on a system of bernays
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 75-76
- Print publication:
- March 1963
-
- Article
- Export citation
Paul R. Halmos. Free monadic algebras. Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 219–227. Reprinted in Algebraic logic, by Paul R. Halmos, Chelsea Publishing Company, New York 1962, pp. 85–95.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 469
- Print publication:
- December 1962
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 472-474
- Print publication:
- December 1962
-
- Article
- Export citation
L. P. Gokiéli. O prirodé logičéskogo (On the nature of the logical). Izdatél′stvo Akadémii Nauk Gruzinskoj SSR, Tbilisi 1958, 467 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 470-471
- Print publication:
- December 1962
-
- Article
- Export citation
Richard Montague and Jan Tarski. On Bernstein's self-dual set of postulates for Boolean algebras. Proceedings of the American Mathematical Society, vol. 5 (1954), pp. 310–311.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 472
- Print publication:
- December 1962
-
- Article
- Export citation
Giuseppe Peano. Formulario mathematico. Riproduzione in fac-simile dell'edizione originale. Edizioni Cremonese, Rome 1960, XLVIII + XXXVI + 482 pp. - Ugo Cassina. Prefazione. Therein, pp. III–IV. - Ugo Cassina. Introduzione. Therein, pp. V–XXXIII. - Ugo Cassina. Note. Therein, pp. XXXV–XLVIII.
-
- 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
The number of modalities in T supplemented by the axiom CL2pL3p
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 407-408
- Print publication:
- December 1962
-
- Article
- Export citation
Incompleteness along paths in progressions of theories1
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 383-390
- Print publication:
- December 1962
-
- Article
- Export citation
Paul R. Halmos. The basic concepts of algebraic logic. Algebraic logic, by Paul R. Halmos, Chelsea Publishing Company, New York 1962, pp. 9–33. - Paul R. Halmos. Algebraic logic, I. Monadic Boolean algebras. Algebraic logic, by Paul R. Halmos, Chelsea Publishing Company, New York 1962, pp. 37–72. - Paul R. Halmos. Algebraic logic, II. Homogeneous locally finite polyadic Boolean algebras of infinite degree. Algebraic logic, by Paul R. Halmos, Chelsea Publishing Company, New York 1962, pp. 97–166. - Paul R. Halmos. Algebraic logic, III. Predicates, terms, and operations in polyadic algebras. Algebraic logic, by Paul R. Halmos, Chelsea Publishing Company, New York 1962, pp. 169–209. - Paul R. Halmos. Algebraic logic, IV. Equality in polyadic algebras. Algebraic logic, by Paul R. Halmos, Chelsea Publishing Company, New York 1962, pp. 213–239. - Paul R. Halmos. Polyadic Boolean algebras. Algebraic logic, by Paul R. Halmos, Chelsea Publishing Company, New York 1962, pp. 243–248. - Paul R. Halmos. Predicates, terms, operations, and equality in polyadic Boolean algebras. Algebraic logic, by Paul R. Halmos, Chelsea Publishing Company, New York 1962, pp. 251–257.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 469-470
- Print publication:
- December 1962
-
- Article
- Export citation
Reviews - Günter Asser. Turing-Maschinen und Markowsche Algorithmen. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 346–365.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 467-468
- Print publication:
- December 1962
-
- Article
- Export citation
Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. v-vi
- Print publication:
- December 1962
-
- Article
- Export citation
The semantics of singular terms1
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 439-466
- Print publication:
- December 1962
-
- Article
- Export citation
The separation theorem of intuitionist propositional calculus1
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 391-399
- Print publication:
- December 1962
-
- Article
- Export citation
Two arithmetical techniques with numbered classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 4 / December 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 437-438
- Print publication:
- December 1962
-
- Article
- Export citation