6 results
Rolf Schock. Logik. Almqvist & Wiksell, Stockholm 1967, 105 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 642
- Print publication:
- February 1970
-
- Article
- Export citation
Donald Kalish and Richard Montague. Logic. Techniques of formal reasoning. Harcourt, Brace & World, Inc., New York and Burlingame 1964, x + 350 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 641-642
- Print publication:
- February 1970
-
- Article
- Export citation
Frank B. Cannonito. Hierarchies of computable groups and the word problem. The journal of symbolic logic, vol. 31 (1966), pp. 376–392.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 121
- Print publication:
- 26 April 1968
-
- Article
- Export citation
M. O. Rabin. Computable algebraic systems. 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. 134–138. - Michael O. Rabin. Computable algebra, general theory and theory of computable fields. Transactions of the American Mathematical Society, vol. 95 (1960), pp. 341–360.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 412-413
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Yiannis N. Moschovakis. Notation systems and recursive ordered fields. Compositio mathematica, vol. 17 no. 1 (1965), pp. 40–71.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 650-651
- Print publication:
- December 1966
-
- Article
- Export citation
Y. N. Moschovakis. Recursive metric spaces. Fundamenta mathematicae, vol. 55 (1964), pp. 215–238.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 651-652
- Print publication:
- December 1966
-
- Article
- Export citation