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