13629 results in The Journal of Symbolic Logic
A theorem on hyperhypersimple sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 273-278
- Print publication:
- December 1963
-
- Article
- Export citation
Sheldon B. AkersJr., A truth table method for the synthesis of combinational logic. IRE transactions on electronic computers, vol. EC-10 (1961), pp. 604–615.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 290
- Print publication:
- December 1963
-
- Article
- Export citation
Benson Mates. Stoic logic. University of California Press, Berkeley and Los Angeles1961, vii + 148 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 295
- Print publication:
- December 1963
-
- Article
- Export citation
Twenty-eighth annual meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 297-308
- Print publication:
- December 1963
-
- Article
- Export citation
Raili Kauppi. Freedom and imperatives. Ajatus, vol. 24 (1962), pp. 67–73.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 294
- Print publication:
- December 1963
-
- Article
- Export citation
Index of Reviews
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 333-346
- Print publication:
- December 1963
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-296
- Print publication:
- December 1963
-
- Article
- Export citation
William W. Boone. Partial results regarding word problems and recursively enumerable degrees of unsolvability. Bulletin of the American Mathematical Society, vol. 68 (1962), pp. 616–623.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 292
- Print publication:
- December 1963
-
- Article
- Export citation
Hao Wang. Eighty years of foundational studies. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 34–56. A reprint of XXVIII 173.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
- Print publication:
- December 1963
-
- Article
- Export citation
Norwood Russell Hanson. A note on the Gödel theorem. Notre Dame journal of formal logic, vol. 2 (1961), p. 228.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 295
- Print publication:
- December 1963
-
- Article
- Export citation
Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. v-vi
- Print publication:
- December 1963
-
- Article
- Export citation
Hao Wang. The axiomatization of arithmetic. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 68–81. A reprint of XXVII 77.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
- Print publication:
- December 1963
-
- Article
- Export citation
Vladeta Vučkovič. Rekurzivni modeli nekih neklasičnih izkaznih rečuna (Rekursive Modelle einiger nichtklassischen Aussagenkalküle). Filozofija (Belgrade), vol. 4 no. 4 (1960), pp. 69–84.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-292
- Print publication:
- December 1963
-
- Article
- Export citation
Toshio Nishimura. On a certain system with infinite induction. Journal of the Mathematical Society of Japan, vol. 12 (1960), pp. 392–400.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 293
- Print publication:
- December 1963
-
- Article
- Export citation
Hao Wang. A variant to Turing's theory of computing machines. Journal of the Association for Computing Machinery, vol. 4 (1957), pp. 63–92. Reprinted as A variant to Turing's theory of calculating machines, in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 127–159. - Hao Wang. Universal Turing machines: an exercise in coding. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 (1957), pp. 69–80. Reprinted in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics. Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 160–174.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 288-289
- Print publication:
- December 1963
-
- Article
- Export citation
David Perlman. A milestone in math — professor's new concept. San Francisco chronicle, vol. 99 no. 185, July 4, 1963, p. 6.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 295
- Print publication:
- December 1963
-
- Article
- Export citation
JSL volume 28 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f8
- Print publication:
- December 1963
-
- Article
-
- You have access
- Export citation
Julio Rey Pastor. Apuntes de teoria de los conjuntos abstractos. Lithographed. Universidad Nacional de Cuyo, Facultad de Ciencias de la Educación, Instituto de Matemáticas, San Luis, Argentina, 1957, 55 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 250-251
- Print publication:
- September 1963
-
- Article
- Export citation
Hao Wang. The predicate calculus. A survey of mathematical logic. Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 307–321.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
- Print publication:
- September 1963
-
- Article
- Export citation
Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. v-vi
- Print publication:
- September 1963
-
- Article
- Export citation