12 found
Order:
  1.  41
    A. M. Turing, Entscheidungsproblem.
    There are many complex characters in this paper; if you find them difficult to distinguish, you are advised to increase the viewing size.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  2.  99
    A. M. Turing (1996). Intelligent Machinery, a Heretical Theory. Philosophia Mathematica 4 (3):256-260.
  3. A. M. Turing (1937). Computability and Λ-Definability. Journal of Symbolic Logic 2 (4):153-163.
  4.  37
    A. M. Turing (1942). The Use of Dots as Brackets in Church's System. Journal of Symbolic Logic 7 (4):146-156.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  5.  11
    A. M. Turing (1937). Computability and $Lambda$-Definability. Journal of Symbolic Logic 2 (4):153-163.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  6.  15
    A. M. Turing (1948). Practical Forms of Type Theory. Journal of Symbolic Logic 13 (2):80-94.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  7.  2
    Alonzo Church & A. M. Turing (1937). On Computable Numbers, with an Application to the Entscheidungsproblem. Journal of Symbolic Logic 2 (1):42.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  21
    A. M. Turing (1937). The P-Function in Λ-K-Conversion. Journal of Symbolic Logic 2 (4):164.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  9.  13
    M. H. A. Newman & A. M. Turing (1942). A Formal Theorem in Church's Theory of Types. Journal of Symbolic Logic 7 (1):28-33.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  10.  1
    A. M. Turing (1937). The $Mathfrak{P}$-Function in $Lambda-K$-Conversion. Journal of Symbolic Logic 2 (4):164-164.
    Direct download  
     
    Export citation  
     
    My bibliography  
  11. A. M. Turing (1953). Burks Arthur W.. The Logic of Programming Electronic Digital Computers. Industrial Mathematics , Vol. 1 , Pp. 36–52. Journal of Symbolic Logic 18 (2):179.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. A. M. Turing (1953). Review: Arthur W. Burks, The Logic of Programming Electronic Digital Computers. [REVIEW] Journal of Symbolic Logic 18 (2):179-179.
     
    Export citation  
     
    My bibliography