13629 results in The Journal of Symbolic Logic
Alonzo Church. Vvédénié v matématičéskuú logiku. Russian translation of XXII 286 by V. S. Čérnávskij, edited by V. A. Uspénskij. Izdatél'stvo Inostrannoj Litératury, Moscow1960, 484 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 76
- Print publication:
- March 1962
-
- Article
- Export citation
Philip Nochlin. Reducibility and intentional words. The Journal of philosophy, vol. 50 (1953), pp. 625–638.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 121
- Print publication:
- March 1962
-
- Article
- Export citation
Paul Oppenheim. Dimensions of knowledge. Revue internationale de philosophie, vol. 11 (1957), pp. 151–191. - Charles Morris. A comment on Dr. Paul Oppenheim's “Dimensions of knowledge.”Revue internationale de philosophie, vol. 11 (1957), pp. 192–193. - Frederick R. Kling. An empirical study related to “Dimensions of knowledge.”Revue internationale de philosophie, vol. 11 (1957), pp. 194–205. - Sylvain Bromberger. A note on “fort et étroit” and “ample et faible.”Revue internationale de philosophie, vol. 11 (1957), pp. 206–210.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 126
- Print publication:
- March 1962
-
- Article
- Export citation
E. W. Beth. Completeness results for formal systems. Proceedings of the International Congress of Mathematicians, 14–21 August 1958, Cambridge at the University Press1960, pp. 281–288.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 110
- Print publication:
- March 1962
-
- Article
- Export citation
Hao Wang. Symbolic representations of calculating machines. 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. 181–188.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 103
- Print publication:
- March 1962
-
- Article
- Export citation
Klaus Härtig. Einstellige Funktionen als Grundbegriffe der elementaren Zahlentheorie. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 209–215.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 91
- Print publication:
- March 1962
-
- Article
- Export citation
Rózsa Péter. Graphschemata und rekursive Funktionen. Dialectica, vol. 12 (1958), pp. 373–393; also Logica, Studia Paul Bernays dedicata, Bibliothèque scientifique no. 34, Éditions du Griffon, Neuchâtel 1959, pp. 169–189. - Rósza Péter. Über die Partiell-rekursivität der durch Graphschemata definierten zahlentheoretischen Funktionen. Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös nominatae, Sectio mathematica, vol. 2 (1959), pp. 41–48.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 83
- Print publication:
- March 1962
-
- Article
- Export citation
R. Fridshal. The Quine algorithm. 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. 211–212.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 103
- Print publication:
- March 1962
-
- Article
- Export citation
Gaisi Takeuti. On the recursive functions of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 12 no. 2 (1960), pp. 119–128.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 88
- Print publication:
- March 1962
-
- Article
- Export citation
Hao Wang. Alternative proof of a theorem of Kleene. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), p. 250.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-82
- Print publication:
- March 1962
-
- Article
- Export citation
Notice
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 130
- Print publication:
- March 1962
-
- Article
- Export citation
Trenchard MoreJr., On the construction of Venn diagrams. The journal of symbolic logic, vol. 24 no. 4 (for 1959, pub. 1961), pp. 303–304.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 108
- Print publication:
- March 1962
-
- Article
- Export citation
Joseph Dopp. Essai d'une présentation de la logique combinatoire. Logique et analyse (Louvain), n.s. vol. 3 (1960), pp. 183–201.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 77
- Print publication:
- March 1962
-
- Article
- Export citation
Timothy Smiley. On Łukasiewicz's Ł-modal system. Notre Dame journal of formal logic, vol. 2 (1961), pp. 149–153.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
- Print publication:
- March 1962
-
- Article
- Export citation
Antoniń Špaček. Statistical estimation of provability in Boolean logic. Transactions of the Second Prague Conference on Information Theory, Statistical Decision Functions and Random Processes, held at Liblice near Prague, from June 1 to 6, 1959, Publishing House of the Czechoslovak Academy of Sciences, Prague1960, pp. 609–626.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 101-102
- Print publication:
- March 1962
-
- Article
- Export citation
Harry A. Nielsen. Language as existent. Notre Dame journal of formal logic, vol. 2 (1961), pp. 244–250.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 118
- Print publication:
- March 1962
-
- Article
- Export citation
George Kimball Plochmann. Professor Henie on the four figures of syllogism. Philosophy of science, vol. 19 (1952), pp. 333–341.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
- Print publication:
- March 1962
-
- Article
- Export citation
Roderick M. Chisholm. Intentionality and the theory of signs. Philosophical studies (Minneapolis), vol. 3 (1952), pp. 56–63.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 120
- Print publication:
- March 1962
-
- Article
- Export citation
Hans Reichenbach. Can operators reach through quotes?Philosophical studies (Minneapolis), vol. 7 (1956), pp. 33–36. - Pavel Materna. Zu einigen Fragen der modernen Definitionslehre. German with Czechic and Russian summaries. Rozpravy Československé Akademie Věd, vol. 69 no. 3(1959), 73 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 121-122
- Print publication:
- March 1962
-
- Article
- Export citation
Ronald Harrop. Concerning formulas of the types A → B v C, A → (Ex)B(x) in intuitionistic formal systems. The journal of symbolic logic, vol. 25 no. 1 (for 1960, pub. 1961), pp. 27–32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 110-111
- Print publication:
- March 1962
-
- Article
- Export citation