13629 results in The Journal of Symbolic Logic
M. I. Kratko. Formal′nyé isčisléniá posta i konéčnyé automaty (Formal Post calculi and finite automata). Problémy kibérnétiki, Vol. 17 (1966), pp. 41–65.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 393
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Takakazu Simauti. A note on the construction of ordinal numbers. Commentarii mathematici Universitatis Sancti Pauli, Bd. 12 (für 1963, ersch. 1964), S. 37–39.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 396
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Petr Hájek. Die durch die schwach inneren relationen gegebenen Modelle der Mengenlehre. Fundamenta mathematicae, vol. 10 (1964), pp. 151–157.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 412
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Fred Sommers. Types and ontology. The philosophical review, vol. 72 (1963), pp. 327–363. - John O. Nelson. On Sommers' reinstatement of Russell's ontological program. The philosophical review, vol. 73 (1964), pp. 517–521. - Fred Sommers. A program for coherence. The philosophical review, vol. 73 (1964), pp. 522–527. - Ronald Bon De Sousa. The tree of English bears bitter fruit. The journal of philosophy, vol. 63 (1966), pp. 37–46.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 406-408
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Kurt Schütte. Syntactical and semantical properties of simple type theory. The journal of symbolic logic, vol. 25 no. 4 (for 1960, pub. 1962), pp. 305–326.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 418-419
- Print publication:
- 09 October 1967
-
- Article
- Export citation
There exist two regressive sets whose intersection is not regressive
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 322-324
- Print publication:
- 09 October 1967
-
- Article
- Export citation
David A. Huffman. Canonical forms for information-lossless finite-stale logical machines. Sequential machines, Selected papers, edited by Edward F. Moore, Addison-Wesley Publishing Company, Inc., Reading, Massachusetts, Palo Alto, and London, 1964, pp. 132–156. (Reprinted from IRE transactions on circuit theory, vol. CT-6, special supplement (1959), pp. 41–59.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 389
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Daniel Ponasse. Problèmes d′universalité s′introduisant dans l′algébrisation de la logique mathématique. Nagoya mathematical journal, vol. 20 (1962), pp. 29–73, and Vol. 21 (1962), pp. 61–110.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 417-418
- Print publication:
- 09 October 1967
-
- Article
- Export citation
A note on finite axiomatization of partial propositional calculi
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 352-354
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Jaakko Hintikka. Aristotle and the “Master Argument” of Diodorus. American philosophical quarterly, vol. 1 (1964), pp. 101–114.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 402
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Noam Chomsky. Aspects of the theory of syntax. The M.I.T. Press, Cambridge, Mass., 1965; second printing, Cambridge, Mass., 1965, x + 251 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 385-387
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Irving M. Copi, Calvin C. Elgot, and Jesse B. Wright. Realization of events by logical nets. Sequential machines, Selected papers, edited by Edward F. Moore, Addison-Wesley Publishing Company, Inc., Reading, Massachusetts, Palo Alto, and London, 1964, pp. 175–192. (Reprinted from Journal of the Association for Computing Machinery, vol. 5 (1958), pp. 181–196.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 389-390
- Print publication:
- 09 October 1967
-
- Article
- Export citation
M. O. Rabin. Computable algebraic systems. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 134–138. - Michael O. Rabin. Computable algebra, general theory and theory of computable fields. Transactions of the American Mathematical Society, vol. 95 (1960), pp. 341–360.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 412-413
- Print publication:
- 09 October 1967
-
- Article
- Export citation
P. T. Geach. Ryle on namely-riders. Analysis (Oxford), vol. 21 no. 3 (1961), pp. 64–67. - P. J. Fitzpatrick. ‘Heterological’ and namely–riders. Analysis (Oxford), Vol. 22 no. 1 (1961), pp. 18–22. - P. T. Geach. Namely–riders again. Analysis (Oxford), vol. 22 no. 4 (1962), pp. 92–94.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 408-409
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Petr Hájek and Antonín Sochor. Ein dem Fundierungsaxiom äquivalentes Axiom. Fundamenta mathematicae, vol. 10 (1964), pp. 261–263.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 412
- Print publication:
- 09 October 1967
-
- Article
- Export citation
The Lω1ω1-theory of hilbert spaces1
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-304
- Print publication:
- 09 October 1967
-
- Article
- Export citation
A. A. Mučnik. Izomorfizm sistém rékursivno péréčislimyh množéstv s efféktivnymi svojstvami. Trudy Moskovskogo Matématičéskogo Obščéstva, Vol. 7 (1958), pp. 407–412. - A. A. Mučnik. Isomorphism of systems of recursively enumerable sets with effective properties. English translation of the preceding by E. Mendelson. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 7–13.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 393-394
- Print publication:
- 09 October 1967
-
- Article
- Export citation
R. Sikorski and T. Traczyk. On free products of m-distributive Boolean algebras. Colloquium mathematicum, vol. 11 no. 1 (1963), pp. 13–16.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 414
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Roderick M. Chisholm. A note on saying: A reply to Mr. Landesman. Analysis (Oxford), vol. 24 no. 5 (1964), pp. 182–184.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 405
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Ú. I. Ânov. О matričnyh shémah (On matrix schemata). Doklady Akadémii Nauk SSSR, Vol. 113 (1957), pp. 283–286.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 391
- Print publication:
- 09 October 1967
-
- Article
- Export citation