13629 results in The Journal of Symbolic Logic
Hans Hermes. Zur Geschichte der mathematischen Logik und Grundlagenforschung in den letzten fünfundsiebzig Jahren. Jahresbericht der Deutschen Mathematiker-Vereinigung, vol. 68 (1966), pp. 75–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
- Print publication:
- 26 April 1968
-
- Article
- Export citation
P. T. Geach. Frege. Three philosophers, by G. E. M. Anscombe and P. T. Geach, Basil Blackwell, Oxford, and Cornell University Press, Ithaca, N.Y., 1961, pp. 127–162.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 140-141
- Print publication:
- 26 April 1968
-
- Article
- Export citation
T. G. McLaughlin. Hereditarily retraceable isols. Bulletin of the American Mathematical Society, vol. 73 (1967), pp. 113–115.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 114-115
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Hans G. Herzberger. The logical consistency of language. Langmage and learning, edited by Janet A. Emig, James T. Fleming, and Helen M. Popp, Harcourt, Brace & World, Inc., New York-Chicago-Burlingame1966, pp. 250–263.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 147
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Some calculi with strong negation primitive1
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-100
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Sören Halldén. A pragmatic approach to modal logic. Filosofiska studier tillägnade Konrad Marc-Wogau den 4 April 1962, edited by Ann-Mari Henschen-Dahlquist, mimeographcd, Filosofiska Föreningen i Uppsala, Uppsala1962, pp. 82–94.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 137
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Tsutomu Hosoi. The separation theorem on the classical system. Journal of the Faculty of Science, University of Tokyo, section I, Mathematics, astronomy, physics, chemistry, vol. 12 part 2 (1966), pp. 223–230.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
- Print publication:
- 26 April 1968
-
- Article
- Export citation
H. Jerome Keisler. Universal homogeneous Boolean algebras. The Michigan mathematical journal, vol. 13 (1966), pp. 129–132.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 123
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Jan Łukasiewicz. Uwagi filozoficzne o wielowartościowych systemach rachunku zdań. Polish translation of 1868 by Egon Vielrose. edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 144–163.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-132
- Print publication:
- 26 April 1968
-
- Article
- Export citation
John T. Kearns. Quantifiers and universal validity. Logique et analyse, n.s. vol. 9 (1966), pp. 298–309. - George Goe. A reconstruction of formal logic. Notre Dame journal of formal logic, vol. 7 (1966), pp. 129–157. - George Goe. Corrections to my paper “A reconstruction of formal logic.”Notre Dame journal of formal logic, vol. 7 (1966), p. 158.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 137-138
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Axiomatizability by a schema
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 473-479
- Print publication:
- February 1968
-
- Article
- Export citation
Paul Lorenzen. Formale Logik. Sammlung Göschen, Bd. 1176/1176a. Walter de Gruyter & Co., Berlin1958, 165 S. - Paul Lorenzen. Formale Logik. Zweite, verbesserte Auflage. Sammlung Göschen, Bd. 1176/1176a. Walter de Gruyter & Co., Berlin1962, 165 S.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 514
- Print publication:
- February 1968
-
- Article
- Export citation
M. Machover. A note on sentences preserved under direct products and powers. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 (1960), pp. 519–523.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 533
- Print publication:
- February 1968
-
- Article
- Export citation
H. Gelernter. Theorem proving by machine. 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. 305–308. - H. Gelernter. Realization of a geometry theorem proving machine. English, with English French, German, Russian, and Spanish summaries. Information processing. Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco Paris, R. Oldenbourg, Munich, and Butterworths, London, 1960, pp. 273–282.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 522-523
- Print publication:
- February 1968
-
- Article
- Export citation
A system of implicit quantification
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 480-504
- Print publication:
- February 1968
-
- Article
- Export citation
Donald A. Martin. Classes of recursively enumerable sets and degrees of unsolvability. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12(1966), pp. 295–310.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 528
- Print publication:
- February 1968
-
- Article
- Export citation
Tadeusz Kubiński. Przegląd niektórych zagadnień logiki pytań (A review of some problems of the logic of questions). Polish, with Russian and English summaries. Studia logica, vol. 18 (1966), pp. 105–137.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 548-549
- Print publication:
- February 1968
-
- Article
- Export citation
R. Sikorski. A theorem on non-classical functional calculi. Bulletin de l'Academie Polonaise des Sciences, Classe III, vol. 4 (1956), pp. 649–650. - R. Sikorski. Some applications of interior mappings. Fundamenta mathematicae, vol. 45 (1957), pp. 200–212.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 537
- Print publication:
- February 1968
-
- Article
- Export citation
Arnold Oberschelp. Über die Axiome arithmetischer Klassen mit Abgeschlossenheits-bedingungen. Archiv für mathematische Logik und Grundlagenforschung, vol. 5 no. 1–2 (1959), pp. 26–36.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 533
- Print publication:
- February 1968
-
- Article
- Export citation
List of officers and members of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 578-609
- Print publication:
- February 1968
-
- Article
- Export citation