Works by Clifford Spector

( view other items matching `Clifford Spector`, view all matches )
10 found
Order:
  1.  244
    (1 other version)Recursive well-orderings.Clifford Spector - 1955 - Journal of Symbolic Logic 20 (2):151-163.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  2.  15
    (2 other versions)Computability & Unsolvability.Clifford Spector - 1958 - Journal of Symbolic Logic 23 (4):432-433.
    Direct download  
     
    Export citation  
     
    Bookmark   106 citations  
  3.  55
    (1 other version)Measure-theoretic construction of incomparable hyperdegrees.Clifford Spector - 1958 - Journal of Symbolic Logic 23 (3):280-288.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  31
    Gál I. L., Rosser J. B., and Scott D.. Generalization of a lemma of G. F. Rose. [REVIEW]Clifford Spector - 1960 - Journal of Symbolic Logic 25 (2):179-179.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  27
    (1 other version)Porte Jean. Une simplification de la théorie de Turing. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 251–280. [REVIEW]Clifford Spector - 1960 - Journal of Symbolic Logic 25 (2):162-162.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  5
    (2 other versions)Review: Francois Paycha, Epistemologie et Mecanisation du Diagnostic et de la Therapeutique. La Logique Ternaire. [REVIEW]Clifford Spector - 1960 - Journal of Symbolic Logic 25 (2):163-163.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  25
    (1 other version)Rogers Hartley Jr., Theory of recursive functions and effective computability. Volume I. Mimeographed. Technology Store, Cambridge, Mass., 1957, pp. i–xiv, 1–15, 15a, 16–20, 20a, 21–121, 121–155. [REVIEW]Clifford Spector - 1959 - Journal of Symbolic Logic 24 (1):70-70.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  11
    (1 other version)Review: Hao Wang, On Denumerable Bases of Formal Systems. [REVIEW]Clifford Spector - 1957 - Journal of Symbolic Logic 22 (3):292-293.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  7
    (3 other versions)N. A. Routledge. Ordinal recursion. Proceedings of the Cambridge Philosophical Society, vol. 49 , pp. 175–182. [REVIEW]Clifford Spector - 1959 - Journal of Symbolic Logic 24 (1):69-69.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. (1 other version)Review: Raymond M. Smullyan, Undecidability and Recursive Inseparability. [REVIEW]Clifford Spector - 1960 - Journal of Symbolic Logic 25 (2):165-165.
     
    Export citation  
     
    Bookmark