13629 results in The Journal of Symbolic Logic
Ronald Harrop. On the recursivity of finite sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 136–140. - Jiří Hořejš. Note on definition of recursiveness. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 119–120.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 115
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Willard Van Orman Quine. On what there is. A reprint of XIX 134(1). From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 1–19. - Willard Van Orman Quine. Two dogmas of empiricism. A reprint of XIX 134(2). From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 20–46. - Willard Van Orman Quine. The problem of meaning in linguistics. A reprint of XIX 134(3). From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 47–64. - Willard Van Orman Quine. Identity, ostension, and hypostasis. A reprint of XIX 134(4). From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 65–79. - Willard Van Orman Quine. New foundations for mathematical logic. A reprint of XIX 134(5). From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 80–101. - Willard Van Orman Quine. Logic and the reification of universals. A revised reprint of XIX 135. From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 102–129. - Willard Van Orman Quine. Notes on the theory of reference. A reprint of XIX 136. From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 130–138. - Willard Van Orman Quine. Reference and modality. A revised reprint of XIX 137. From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 139–159. - Willard Van Orman Quine. Meaning and existential inference. A reprint of XIX 138. From a logical point of view, by Willard Van Orman Quine, second, revised edition, Harvard University Press, Cambridge, Mass., 1961, and Harper Torchbooks, The Science Library, Harper & Row, New York and Evanston 1963, pp. 160–167.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 149-150
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Roman Sikorski. On extensions and products of Boolean algebras. Fundamenta mathematicae, vol. 53 no. 1 (1963), pp. 99–116.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 124-125
- Print publication:
- 26 April 1968
-
- Article
- Export citation
John McCarthy. Recursive functions of symbolic expressions and their computation by machine, part I. Communications of the Association for Computing Machinery, vol. 3 (1960), pp. 184–195.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Jan Łukasiewicz. O determinizmie (On determinism). Polish translation of IV 174(1) by Egon Viclrose. edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 114–126.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 130
- Print publication:
- 26 April 1968
-
- Article
- Export citation
A minimal canonically complete m-valued proper logic for each m
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 108-110
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Universally free logic and standard quantification theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 8-26
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Effectively extensible theories1
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 56-68
- Print publication:
- 26 April 1968
-
- Article
- Export citation
On the scope of the classical deduction theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-81
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Frank B. Cannonito. Hierarchies of computable groups and the word problem. The journal of symbolic logic, vol. 31 (1966), pp. 376–392.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 121
- Print publication:
- 26 April 1968
-
- Article
- Export citation
John McCarthy. A basis for a mathematical theory of computation, preliminary report. Proceedings of the Western Joint Computer Conference, Papers presented at the Joint IRE-AIEE-ACM Computer Conference, Los Angeles, Calif., May 9–11, 1961, Western Joint Computer Conference, 1961, pp. 225–238. - John McCarthy. A basis for a mathematical theory of computation. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 33–70.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Ph. Dwinger and F. M. Yaqub. Generalized free products of Boolean algebras with an amalgamated subalgebra. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 66 (1963), pp. 225–231; also lndagationes mathematicae, vol. 25 (1963), pp. 225–231.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 124
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Modifications of Quine's ML and inclusive quantification systems1
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 39-42
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Jerzy Słupecki. Slowo wstępne (Introduction). Z zagadnień logiki i filozofii. Pisma wybrane, by Jan Łukasiewicz, edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 5–8.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 129
- Print publication:
- 26 April 1968
-
- Article
- Export citation
F. M. Yaqub. Free extensions of Boolean algebras. Pacific journal of mathematics, vol. 13 (1963), pp. 761–771.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 124
- Print publication:
- 26 April 1968
-
- Article
- Export citation
M. Denis-Papin, A. Kaufmann, and R. Faure. Cours de calcul booléien appliqué (notions tur les ensembles et les treillis, algèbres booléiennes, algèbre binaire). With a preface by René de Possel. Éditions Albin Michel, Paris1963, 495 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
- Print publication:
- 26 April 1968
-
- Article
- Export citation
R. S. Pierce. A note on free products of abstract algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 66 (1963), pp. 401–407; also Indagationes mathematicae, vol. 25 (1963), pp. 401–407.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 125-126
- Print publication:
- 26 April 1968
-
- Article
- Export citation
J. R. Shoenfield. The form of the negation of a predicate. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 131–134.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 116
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Robert Feys. Logique formalisée et raisonnement juridique. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 312–321. - Jan Gregorowicz. L'argument a maiori ad minus et le problème de la logique juridique. Logique et analyse, n.s. vol. 5 (1962), pp. 66–75. - Ch. Perelman. Logique formelle, logique juridique. Logique et analyse, n.s. vol. 3 (1960), pp. 226–230. - Robert Feys and Marie-Thérèse Motte. Logique juridique, systèmes juridiques. Logique et analyse, n.s. vol. 2 (1959), pp. 143–147. - Georges Kalinowski. ‘Interprétation juridique et logique des propositions normatives. Logique et analyse, n.s. vol. 2 (1959), pp. 128–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 141-142
- Print publication:
- 26 April 1968
-
- Article
- Export citation
H. Jerome Keisler. First order properties of pairs of cardinals. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 141–144.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 122
- Print publication:
- 26 April 1968
-
- Article
- Export citation