13629 results in The Journal of Symbolic Logic
Leon Henkin. Are logic and mathematics identical?Science, vol. 138 (1962), pp. 788–794.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 141-142
- Print publication:
- September 1964
-
- Article
- Export citation
JSL volume 29 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- September 1964
-
- Article
-
- You have access
- Export citation
JSL volume 29 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1964
-
- Article
-
- You have access
- Export citation
B. A. Trahtenbrot. Algorithmes et machines à calculer. French translation of XXVIII 111(1), by A. Chauvin. Dunod, Paris1963, x + 149 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-148
- Print publication:
- September 1964
-
- Article
- Export citation
Philotheus Boehner. Ockham's Tractatus de praedestinatione et de praescientia Dei et de futuris contingentibus and its main problems. A reprint of VII 46. Philotheus Boehner, O.F.M., Ph.D., Collected articles on Ockham, edited by Eligius M. Buytaert, Franciscan Institute publications, philosophy series no. 12, The Franciscan Institute, St. Bonaventure, N.Y., E. Nauwelaerts, Louvain, and F. Schöningh, Paderborn, 1958, pp. 420–441.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-132
- Print publication:
- September 1964
-
- Article
- Export citation
Rollo Handy and Paul Kurtz. A current appraisal of the behavioral sciences. Behavioral Research Council, Great Barrington, Mass., 1964, ii + 154 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 135-136
- Print publication:
- September 1964
-
- Article
- Export citation
Arto Salomaa. On sequences of functions over an arbitrary domain. Annales Universitatis Turkuensis, Series AI, no. 62, Turun Yliopisto, Turku1963, 5 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 145
- Print publication:
- September 1964
-
- Article
- Export citation
Equational bases of boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-124
- Print publication:
- September 1964
-
- Article
- Export citation
A. N. Prior. Nonentities. Analytical philosophy, edited by R. J. Butler, Barnes & Noble, Inc., New York1962, pp. 120–132.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 140-141
- Print publication:
- September 1964
-
- Article
- Export citation
Ludwig Wittgenstein. Tractatus logico-philosophicus. Swedish translation of 2812 by Anders Wedberg (without Russell's introduction). Orion/Bonniers, Stockholm1962, 147 pp. - Anders Wedberg. Inledning (Introduction). Therein, pp. 7–34.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 134-135
- Print publication:
- September 1964
-
- Article
- Export citation
David Harrah. A logic of questions and answers. Philosophy of science, vol. 28 (1961), pp. 40–46. - David Harrah. Communication: A logical model. The M.I.T. Press, Cambridge, Massachusetts, 1963, xi + 118 pp. - David Harrah. A model for applying information and utility functions. Philosophy of science, vol. 30 (1963), pp. 267–273.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 136-138
- Print publication:
- September 1964
-
- Article
- Export citation
Gaisi Takeuti. Ordinal diagrams II. Journal of the Mathematical Society of Japan, vol. 12 (1960), pp. 385–391.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 146-147
- Print publication:
- September 1964
-
- Article
- Export citation
S. C. Kleene. An addendum. The journal of symbolic logic, vol. 28 no. 2 (for 1963, pub. 1964), pp. 154–156.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
- Print publication:
- September 1964
-
- Article
- Export citation
E. W. Beth. Door wetenschap tot wijsheid (Par la science à la sagesse). Tien jaren cultuur, 1945—1955, Achtste Symposion der Sociëteit voor Culturele Samenwerking 's-Gravenhage, H. P. Leopolds Uitgevers-Mij N.V., ′s-Gravenhage 1956, p. 65–94.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 90-91
- Print publication:
- June 1964
-
- Article
- Export citation
Hao Wang. Computation. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 82–125.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-106
- Print publication:
- June 1964
-
- Article
- Export citation
Tadeusz Gierymski and Michael P. Slattery. Metaphysics and the null class. Philosophical studies (Maynooth), vol. 11 (1961–62), pp. 128–146.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 112-113
- Print publication:
- June 1964
-
- Article
- Export citation
John M. Anderson and Henry W. JohnstoneJr., Natural deduction. The logical basis of axiom systems. Wadsworth Publishing Company, Inc., Belmont, California, 1962, xii + 418 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 93-94
- Print publication:
- June 1964
-
- Article
- Export citation
Joyce Friedman. A semi-decision procedure for the functional calculus. Journal of the Association for Computing Machinery, vol. 10 (1963), pp. 1–24. - Joyce Friedman. A computer program for a solvable case of the decision problem. Journal of the Association for Computing Machinery, vol. 10 (1963), pp. 348–356.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 101
- Print publication:
- June 1964
-
- Article
- Export citation
N. N. Vorob′év. Novyj algorifm vyvodimosti v konstruktivnom isčislénii uyskazyvanij (A new algorithm of deducibility in the constructive propositional calculus). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 193–225.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 109
- Print publication:
- June 1964
-
- Article
- Export citation
B. A. Trahténbrot. Asimptotičéskaá océnka složnosti logičéskih sétéj s památ′ú. Doklady Akadémii Nauk SSSR, vol. 127 (1959), pp. 281–284. - B. A. Trahtenbrot. Asymptotic evaluation of the complexity of logic nets with memory. English translation of the above. Automation express,, vol. 2 (1959), pp. 13–14.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 100
- Print publication:
- June 1964
-
- Article
- Export citation