13629 results in The Journal of Symbolic Logic
Joseph R. Rotman. The theory of groups. An introduction. Allyn and Bacon, Inc., Boston1965, xiii + 305 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
- Print publication:
- June 1967
-
- Article
- Export citation
Gustav Hensel and Hilary Putnam. On the notational independence of various hierarchies of degrees of unsolvability. The journal of symbolic logic, vol. 30 (1965), pp. 69–86.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 124-125
- Print publication:
- June 1967
-
- Article
- Export citation
J. R. Shoenfield. Undecidable and creative theories. Fundamenta mathematicae, vol. 49 no. 2 (1961), pp. 171–179.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 123
- Print publication:
- June 1967
-
- Article
- Export citation
Thomas Moro Simpson. Formas lógicas, realidad y significado. With a preface by Gregorio Klimovsky. Editorial Universitaria de Buenos Aires, Buenos Aires1964, 302 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 112-113
- Print publication:
- June 1967
-
- Article
- Export citation
Hans-Dieter Sluga. Frege und die Typentheorie. Eine historische Untersuchung. Logik und Logikkalkül, edited by Max Käsbauer and Franz von Kutschera, Verlag Karl Alber, Freiburg and Munich1962, pp. 195–209.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 107-108
- Print publication:
- June 1967
-
- Article
- Export citation
Mikel Dufrenne. Language & philosophy. Translated from the French by Henry B. Veatch. Indiana University Press, Bloomington1963, 106 pp. - Paul Henle. Foreword. Therein, pp. 11–13.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-114
- Print publication:
- June 1967
-
- Article
- Export citation
A note on existential instantiation
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-82
- Print publication:
- June 1967
-
- Article
- Export citation
Norman M. Martin. Note on the completeness of decision element sets. The Journal of computing systems, vol. 1 no. 4 (1954), p. 220.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 134
- Print publication:
- June 1967
-
- Article
- Export citation
T. G. McLaughlin. Co-immune retraceable sets. Bulletin of the American Mathematical Society, vol. 71 (1965), pp. 523–525.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 123
- Print publication:
- June 1967
-
- Article
- Export citation
J. C. Shepherdson und H. E. Sturgis. Computability of recursive functions. Journal of the Association for Computing Machinery, Bd. 10 (1963), S. 217–255.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 122-123
- Print publication:
- June 1967
-
- Article
- Export citation
Rudolf Carnap. The aim of inductive logic. Logic, methodology and philosophy of science, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 303–318. - Rudolf Carnap. Logical foundations of probability. Second edition of XVI 205, with added preface and supplementary bibliography. The University of Chicago Press, Chicago1962, xxvii + 613 pp. - Rudolf Carnap. Remarks on probability. Philosophical studies (Minneapolis), vol. 14 (1963), pp. 65–75.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 104-105
- Print publication:
- June 1967
-
- Article
- Export citation
Peter S. Landweber. Decision problems of phrase-structure grammars. IEEE transactions on electronic computers, vol. EC-13 (1964), pp. 354–362.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 115
- Print publication:
- June 1967
-
- Article
- Export citation
Federal Electric Corporation. Boolean algebra. A self-instructional programed manual. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1966, ix + 246 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 133-134
- Print publication:
- June 1967
-
- Article
- Export citation
Ultraproducts of finite sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 47-57
- Print publication:
- June 1967
-
- Article
- Export citation
Note on a system of Åqvist
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 58-60
- Print publication:
- June 1967
-
- Article
- Export citation
Hao Wang. Proving theorems by pattern recognition I.Communications of the Association for Computing Machinery, vol. 3 (1960), pp. 220–234. - Hao Wang. Proving theorems by pattern recognition—II.The Bell system technical journal, vol. 40 (1961), pp. 1–41.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-120
- Print publication:
- June 1967
-
- Article
- Export citation
Ralph M. Toms. Systems of Boolean equations. The American mathematical monthly, vol. 73 (1966), pp. 29–35.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 132-133
- Print publication:
- June 1967
-
- Article
- Export citation
Robert M. Solovay. New proof of a theorem of Gaifman and Hales. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 282–284.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
- Print publication:
- June 1967
-
- Article
- Export citation
JSL volume 32 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f5
- Print publication:
- June 1967
-
- Article
-
- You have access
- Export citation
Robert W. Ritchie. Classes of recursive functions based on Ackermann's function. Pacific journal of mathematics, vol. 15 (1965), pp. 1027–1044.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 654
- Print publication:
- December 1966
-
- Article
- Export citation