13629 results in The Journal of Symbolic Logic
A. Nerode. Arithmetically isolated sets and nonstandard models. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 105–116.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 269
- Print publication:
- August 1967
-
- Article
- Export citation
B. Dunham, R. Fridshal, and G. L. Sward. A non-heuristic program for proving elementary logical theorems. English, with 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. 282–285. - B. Dunham, R. Fridshal, and J. H. North. Exploratory mathematics by machine. Recent developments in information and decision processes, edited by Robert E. Machol and Paul Gray, The Macmillan Company, New York1962, pp. 149–160. - B. Dunham and J. H. North. Theorem testing by computer. Proceedings of the Symposium on Mathematical Theory of Automata, New York, N. Y., April 24, 25, 26, 1962, Microwave Research Symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, N.Y., 1963, pp. 173–177.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 266
- Print publication:
- August 1967
-
- Article
- Export citation
Solomon Feferman. Some recent work of Ehrenfeucht and Fraïssé. 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. 201–209.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 282
- Print publication:
- August 1967
-
- Article
- Export citation
C. C. Chang. A simple proof of the Rabin-Keisler theorem. Bulletin of the American Mathematical Society, vol. 71 (1965), pp. 642–643.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 277
- Print publication:
- August 1967
-
- Article
- Export citation
Kurt Schütte. Logische Abgrenzungen des Transfiniten. Logik und Logikkalkül, edited by Max Käsbauer and Franz von Kutschera, Verlag Karl Alber, Freiburg and Munich 1962, pp. 105–114.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 284
- Print publication:
- August 1967
-
- Article
- Export citation
Recursion, metarecursion, and inclusion
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 173-179
- Print publication:
- August 1967
-
- Article
- Export citation
A. I. Mal′cév. Ob eléméntwnyh téoriáh lokal′no svobodnyh univérsal′nyh algébr. Doklady Akadémii Nauk SSSR, vol. 138 (1961), pp. 1009–1012. - A. I. Mal′cev. On the elementary theories of locally free universal algebras. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 2 no. 3 (1961) pp. 768–771. - A. I. Mal′cev. Aksiomatiziruémyé klassy lokal′no svobodnyh algébr nékotoryh tipov (Axiomatizable classes of locally free algebras of several types). Sibirskij matématičéskij žurnal, vol. 3 (1962), pp. 729–743.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 278-279
- Print publication:
- August 1967
-
- Article
- Export citation
H. Jerome Keisler. Limit ultraproducts. The journal of symbolic logic, vol. 30 (1965), pp. 212–234.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-278
- Print publication:
- August 1967
-
- Article
- Export citation
Interpretations of set theory and ordinal number theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 145-161
- Print publication:
- August 1967
-
- Article
- Export citation
Wilhelm Ackermann. Grundgedanken einer typenfreien Logik. Essays on the foundations of mathematics, dedicated to A. A. Fraenkelon 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. 143–155.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 259-260
- Print publication:
- August 1967
-
- Article
- Export citation
G. Kreisel. A remark on free choice sequences and the topological completeness proofs. The journal of symbolic logic, vol. 23 no. 4 (for 1958, pub. 1959), pp. 369–388.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 283
- Print publication:
- August 1967
-
- Article
- Export citation
J. D. Halpern. The independence of the axiom of choice from the Boolean prime ideal theorem. Fundamenta mathematicae, vol. 55 (1964), pp. 57–66.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 273-274
- Print publication:
- August 1967
-
- Article
- Export citation
Hugues Leblanc. Études sur les règles d'inférence dites règles de Gentzen. Deuxième partie. Dialogue, vol. 1 no. 4 (1963), pp. 355–367.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 256-258
- Print publication:
- August 1967
-
- Article
- Export citation
M. I. Kargapolov. Ob eléméntarnoj téorii struktur podgrupp (On the elementary theory of lattices of subgroups). Algébra i logika, Séminar, vol. 1 no. 3 (1962), pp. 46–53.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 279-280
- Print publication:
- August 1967
-
- Article
- Export citation
R. A. Sharpe. Validity and the paradox of confirmation. The philosophical quarterly (St. Andrews), vol. 14 (1964), pp. 170–173.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
- Print publication:
- August 1967
-
- Article
- Export citation
Ludwik Borkowski. On proper quantifiers II. English, with Polish and Russian summaries. Studia logica, vol. 10 (1960), pp. 7–28. (See Correction to the paper “On proper quantifiers II,” ibid., vol. 15 (1964), p. 272.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 263
- Print publication:
- August 1967
-
- Article
- Export citation
J. W. N. Watkins. Between analytic and empirical. Philosophy, vol. 32 (1957), pp. 112–131. - Carl G. Hempel. Empirical statements and falsifiability.Philosophy, vol. 33 (1958), pp. 342–348. - J. W. N. Watkins. A rejoinder to Professor Hempel's reply.Philosophy, pp. 349–355. - Israel Scheffler. A note on confirmation. Philosophical studies (Minneapolis), vol. 11 (1960), pp. 21–23. - J. W. N. Watkins. Professor Scheffler's note.Philosophical studies (Minneapolis), vol. 12 (1961), pp. 16–19. - Israel Scheffler. A rejoinder on confirmation.Philosophical studies (Minneapolis), vol. 12 (1961), pp. 19–20.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-249
- Print publication:
- August 1967
-
- Article
- Export citation
M. N. Bleicher. Multiple choice axioms and axioms of choice for finite sets. Fundamenta mathematicae, vol. 57 (1965), pp. 247–252.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 273
- Print publication:
- August 1967
-
- Article
- Export citation
Georg Kreisel and William W. Tait. Finite definability of number-theoretic functions and parametric completeness of equational calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 28–38.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 270-271
- Print publication:
- August 1967
-
- Article
- Export citation
JSL volume 32 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f5
- Print publication:
- August 1967
-
- Article
-
- You have access
- Export citation