Works by Shoji Maehara

( view other items matching `Shoji Maehara`, view all matches )
7 found
Order:
  1.  10
    A General Theory of Completeness Proofs.Shôji Maehara - 1970 - Annals of the Japan Association for Philosophy of Science 3 (5):242-256.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  36
    Another Proof of Takeuti's Theorems on Skolem's Paradox.Erwin Engeler & Shoji Maehara - 1966 - Journal of Symbolic Logic 31 (4):659.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  9
    Calculabilité des Fonctionnelles Récursives Primitives de Type Fini sur les Nombres Naturels.Yoshito Hanatani & Shôji Maehara - 1966 - Annals of the Japan Association for Philosophy of Science 3 (1):19-30.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  11
    Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types.Shôji Maehara - 1962 - Annals of the Japan Association for Philosophy of Science 2 (2):55-64.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  10
    General Recursive Functions in the Number-Theoretic Formal System.Shôji Maehara - 1957 - Annals of the Japan Association for Philosophy of Science 1 (2):119-130.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  10
    Non-constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension.Shôji Maehara, Toshio Nishimura & Setsuya Seki - 1960 - Annals of the Japan Association for Philosophy of Science 1 (5):269-288.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  42
    Two interpolation theorems for a π11 predicate calculus.Shoji Maehara & Gaisi Takeuti - 1971 - Journal of Symbolic Logic 36 (2):262 - 270.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark