13629 results in The Journal of Symbolic Logic
K. I. Appel. Horn sentences in identity theory. The journal of symbolic logic, vol. 24 no. 4 (for 1959, pub. 1961), pp. 306–310.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-132
- Print publication:
- March 1966
-
- Article
- Export citation
Lennart Åqvist. Interpretations of deontic logic. Mind, n.s. vol. 73 (1964), pp. 246–253.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 120
- Print publication:
- March 1966
-
- Article
- Export citation
Bernard Bolzano. Grundlegung der Logik. Ausgewählte Paragraphen aus der Wissenschaftslehre, Band I und II. Mit ergänzenden Textzusammenfassungen, einer Einleitung und Registern. Edited by Friedrich Kambartel. Felix Meiner, Hamburg1963, LXXI + 380 pp. - Friedrich Kambartel. Bernard Bolzano. Therein, p. VI. - Friedrich Kambartel. Einleitung des Herausgebers. Therein, pp. VII–LXII.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 104
- Print publication:
- March 1966
-
- Article
- Export citation
On a question of G. E. Sacks1
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-69
- Print publication:
- March 1966
-
- Article
- Export citation
Bolesław Sobociński. On the proposiiional system A of Vučkovit and its extension.Notre Dame journal of formal logic, vol. 5 no. 2 (1964), pp. 141–153, and vol. 5 no. 3 (for 1964, pub. 1965), pp. 223–237.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 118
- Print publication:
- March 1966
-
- Article
- Export citation
Clifford Spector. Recursive ordinals and predicative set theory. 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. 377–382.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 138
- Print publication:
- March 1966
-
- Article
- Export citation
Leon Gumański. Jedynkowe systemy aksjomatyczne. Prace wydziału filologiczno-filozoficznego, vol. 15 no. 1. Towarzystwo Naukowe w Toruniu, Toruń1964, 75 pp. - Leon Gumański. Unitary axiom systems (A summary). Therein, pp. 73–74.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-117
- Print publication:
- March 1966
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 141-146
- Print publication:
- March 1966
-
- Article
- Export citation
D. L. Kreider and Hartley RogersJr, Constructive versions of ordinal number classes. Transactions of the American Mathematical Society, vol. 100 (1961), pp. 325–369.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 134-135
- Print publication:
- March 1966
-
- Article
- Export citation
Richard M. Martin. Intension and decision. A philosophical study.Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1963, xv + 159 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 98-102
- Print publication:
- March 1966
-
- Article
- Export citation
G. Kreisel. Sums of squares. 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. 313–320.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 128-129
- Print publication:
- March 1966
-
- Article
- Export citation
Index of reviews
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 4 / December 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 429-445
- Print publication:
- December 1965
-
- Article
- Export citation
Index of reviews by subjects
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 4 / December 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 446-480
- Print publication:
- December 1965
-
- Article
- Export citation
JSL volume 30 issue 4 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 4 / December 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b3
- Print publication:
- December 1965
-
- Article
-
- You have access
- Export citation
JSL volume 30 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 4 / December 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1965
-
- Article
-
- You have access
- Export citation
P. S. Novikov. Eléménty matématičéskoj logiki (Elements of mathematical logic). Gosudarstvénnoé Izdatél'stvo Fiziko-matématičéskoj Litératury, Moscow1959, 400 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 356-357
- Print publication:
- September 1965
-
- Article
- Export citation
Klaus Härtig. Einbettung elementarer Theorien in endlich Axiomatisierbare. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 249–292.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 397-398
- Print publication:
- September 1965
-
- Article
- Export citation
D. P. Gorskij. Priménénié dialéktičéskoj logiki k izučéniú procéssov myšléniá (Application of dialectical logic to the study of thought processes). Dialéktika i logika, Formy myšléniá (Dialectic and logic, The forms of thought), Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, pp. 5–41. - B. M. Kédrov. Opérirovanié naučnymi ponátiámi v dialéktičéskoj i formal'noj logiké (Operating with scientific concepts in dialectical and formal logic). Dialéktika i logika, Formy myšléniá (Dialectic and logic, The forms of thought), Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, pp. 42–141. - I. G. Gérasimov. Analiz i sintéz v formal'noj logiké i dialéktiké (Analysis and synthesis in formal logic and dialectic). Dialéktika i logika, Formy myšléniá (Dialectic and logic, The forms of thought), Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, pp. 142–171. - E. V. Il'enkov. Ponimanié abstraktnogo i konkrétnogo v dialéktiké i formal'noj logiké (Understanding abstract and concrete in dialectic and formal logic). Dialéktika i logika, Formy myšléniá (Dialectic and logic, The forms of thought), Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, pp. 172–210. - L. P. Gokiéli. O dialéktičéskom haraktéré “korénnyh vyvodov” v logiké (On the dialectical character of “fundamental deductions” in logic). Dialéktika i logika, Formy myšléniá (Dialectic and logic, The forms of thought), Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, pp. 211–222. - A. A. Zinov'év. Probléma stroéniá nauki v logiké i dialiktiké (The problem of the structure of science in logic and dialectic). Dialéktika i logika, Formy myšléniá (Dialectic and logic, The forms of thought), Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, pp. 223–270. - B. M. Kédrov. Formal'nyé i dialéktičéskié principy klassifikacii nauk i obščaá struktura naučnogo znaniá (The formal and dialectical principles of classification of the sciences and the general structure of scientific knowledge). Dialéktika i logika, Formy myšléniá (Dialectic and logic, The forms of thought), Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, pp. 271–310.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 372-373
- Print publication:
- September 1965
-
- Article
- Export citation
Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 71–76. - Akira Nakamura. On the infinitely many-valued threshold logics and von Wright's system M″. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 147–164. - Akira Nakamura. A note on truth-value functions in the infinitely many-valued logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), vol. 9 (1963), pp. 141–144. - Akira Nakamura. On a simple axiomatic system of the infinitely many-valued logic based on ∧, →. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 251–263. - Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold predicate calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 321–239. - Akira Nakamura. Truth-value stipulations for the von Wright system M′ and the Heyting system. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), vol. 10 (1964), pp. 173–183.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 374-375
- Print publication:
- September 1965
-
- Article
- Export citation
Hans Hermes. Einführung in die mathematische Logik. Klassische Prädikatenlogik. B. G. Teubner Verlagsgesellschaft, Stuttgart1963, 187 S.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 355-356
- Print publication:
- September 1965
-
- Article
- Export citation