3 results
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
Georg Kreisel and Daniel Lacombe. Ensembles récursivement mesurables et ensembles récursivement ouverts ou fermés. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 245 (1957), pp. 1106–1109.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 133
- Print publication:
- March 1966
-
- Article
- Export citation
Daniel Lacombe. Quelques procédés de définition en topologie récursive. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 129–158.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 133-134
- Print publication:
- March 1966
-
- Article
- Export citation