13 results
Rudy Rucker. Mind tools. The five levels of mathematical reality. Houghton Mifflin Company, Boston 1987, viii + 328 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1254-1255
- Print publication:
- December 1988
-
- Article
- Export citation
Vladeta Vučković. Mathematics of incompleteness and undecidability. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 123–150.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 195-196
- Print publication:
- March 1972
-
- Article
- Export citation
Uniform Gentzen systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 549-559
- Print publication:
- January 1969
-
- Article
- Export citation
Analytic cut
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 560-564
- Print publication:
- January 1969
-
- 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
Finite nest structures and propositional logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 322-324
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Trees and nest structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 303-321
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Analytic natural deduction
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 123-139
- Print publication:
- June 1965
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 150-162
- Print publication:
- September 1964
-
- Article
- Export citation
Reviews - Evert W. Beth. The foundations of mathematics, A study in the philosophy of science. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, XXVI + 741 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-75
- Print publication:
- March 1962
-
- Article
- Export citation
On Post's canonical systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 55-57
- Print publication:
- March 1962
-
- Article
- Export citation
Willard Van Orman Quine. Methods of logic. Revised edition, Henry Holt and Company, Inc., New York1959, xx + 272 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 219-220
- Print publication:
- September 1959
-
- Article
- Export citation
Languages in which self reference is possible1
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 55-67
- Print publication:
- March 1957
-
- Article
- Export citation