7 found
Order:
Disambiguations:
Akiko Kino [7]A. Kino [7]
  1.  10
    A. Kino, John Myhill & Richard Eugene Vesley (eds.) (1970). Intuitionism and Proof Theory. Amsterdam,North-Holland Pub. Co..
    Our first aim is to make the study of informal notions of proof plausible. Put differently, since the raison d'étre of anything like existing proof theory seems to rest on such notions, the aim is nothing else but to make a case for proof theory; ...
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  2.  6
    Akiko Kino (1967). Correction to a Paper on Definability of Ordinals in Infinite Logic. Journal of Symbolic Logic 32 (3):343-344.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  3.  2
    Akiko Kino (1966). On Definability of Ordinals in Logic with Infinitely Long Expressions. Journal of Symbolic Logic 31 (3):365-375.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4. Paul Bernays, A. Kino, J. Myhill & R. E. Vesley (1975). On the Original Gentzen Consistency Proof for Number Theory. Journal of Symbolic Logic 40 (1):95-95.
    Direct download  
     
    Export citation  
     
    My bibliography  
  5. Akiko Kino (1964). A Note on Constructive Ordinals. Annals of the Japan Association for Philosophy of Science 2 (4):189-198.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. Gaisi Takeuti & Akiko Kino (1968). On Hierarchies of Predicates of Ordinal Numbers. Journal of Symbolic Logic 33 (2):293-294.
    Direct download  
     
    Export citation  
     
    My bibliography  
  7. Gaisi Takeuti & Akiko Kino (1965). On Predicates with Constructive Infinitely Long Expressions. Journal of Symbolic Logic 30 (1):97-98.
    Direct download  
     
    Export citation  
     
    My bibliography