10 found
Order:
  1.  27
    J. W. Addison. Separation Principles in the Hierarchies of Classical and Effective Descriptive Set Theory. Fundamenta Mathematicae, Vol. 46 No. 2 , Pp. 123–135. - J. W. Addison. The Theory of Hierarchies. Logic, Methodology and Philosophy of Science, Proceedings of the 1960 International Congress, Edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, Pp. 26–37. - J. W. Addison. Some Problems in Hierarchy Theory. Recursive Function Theory, Proceedings of Symposia in Pure Mathematics, Vol. 5, American Mathematical Society, Providence1962, Pp. 123–130. [REVIEW]Donald L. Kreider - 1964 - Journal of Symbolic Logic 29 (1):60-62.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  22
    Gerald E. Sacks. Recursive Enumerability and the Jump Operator. Transactions of the American Mathematical Society, Vol. 108 , Pp. 223–239. [REVIEW]Donald L. Kreider - 1964 - Journal of Symbolic Logic 29 (4):204.
  3.  38
    Kleene S. C.. Realizability. Constructivity In Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A.. Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 285–289.Kleene S. C.. Realizability. 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. 100–104. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (2):242-243.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  26
    Kleene S. C.. Countable Functionals. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 81–100.Kleene S. C.. Recursive Functionals of Higher Finite Types. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton 1960, Pp. 148–154. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (3):359-360.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  23
    J. C. E. Dekker and J. Myhill. Recursive Equivalence Types. University of California Publications in Mathematics, N.S. Vol. 3 No. 3 , Pp. 67–214. - J. C. E. Dekker. Congruences in Isols with a Finite Modulus. Mathematische Zeitschrift, Vol. 70 , Pp. 113–124. - J. Myhill. Recursive Equivalence Types and Combinatorial Functions. Bulletin of the American Mathematical Society, Vol. 64 , Pp. 373–376. - J. C. E. Dekker. The Factorial Function for Isols. Mathematische Zeitschrift, Vol. 70 , Pp. 250–262. - J. C. E. Dekker and J. Myhill. The Divisibility of Isols by Powers of Primes. Mathematische Zeitschrift, Vol. 73 . Pp. 127–133. - J. C. E. Dekker. An Expository Account of Isols. 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. 189–200. [REVIEW]Donald L. Kreider - 1960 - Journal of Symbolic Logic 25 (4):356-359.
  6.  22
    Kleene Stephen C.. Realizability and Shanin's Algorithm for the Constructive Deciphering of Mathematical Sentences. Logique Et Analyse , N.S. Vol. 3 , Pp. 154–165. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (2):243-244.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7. [Omnibus Review].Donald L. Kreider - 1960 - Journal of Symbolic Logic 25 (4):356-359.
  8.  13
    Review: S. C. Kleene, Countable Functionals; S. C. Kleene, Recursive Functionals of Higher Finite Types. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (3):359-360.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  12
    Review: S. C. Kleene, Realizability; S. C. Kleene, Realizability. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (2):242-243.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10. Review: J. W. Addison, Separation Principles in the Hierarchies of Classical and Effective Descriptive Set Theory; J. W. Addison, The Theory of Hierarchies; J. W. Addison, Some Problems in Hierarchy Theory. [REVIEW]Donald L. Kreider - 1964 - Journal of Symbolic Logic 29 (1):60-62.