Order:
Disambiguations
Akiko Kino [9]A. Kino [5]
  1.  39
    (1 other version)Intuitionism and proof theory.A. Kino, John Myhill & Richard Eugene Vesley (eds.) - 1970 - 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  
     
    Bookmark   8 citations  
  2.  18
    On the Original Gentzen Consistency Proof for Number Theory.Paul Bernays, A. Kino, J. Myhill & R. E. Vesley - 1975 - Journal of Symbolic Logic 40 (1):95-95.
  3.  24
    (1 other version)On definability of ordinals in logic with infinitely long expressions.Akiko Kino - 1966 - Journal of Symbolic Logic 31 (3):365-375.
  4.  21
    (1 other version)A Note on Constructive Ordinals.Akiko Kino - 1964 - Annals of the Japan Association for Philosophy of Science 2 (4):189-198.
  5.  29
    Correction to a paper on definability of ordinals in infinite logic.Akiko Kino - 1967 - Journal of Symbolic Logic 32 (3):343-344.
  6.  9
    On Hierarchies of Predicates of ordinal Numbers.Gaisi Takeuti & Akiko Kino - 1968 - Journal of Symbolic Logic 33 (2):293-294.
  7.  10
    On Predicates with Constructive Infinitely Long Expressions.Gaisi Takeuti & Akiko Kino - 1965 - Journal of Symbolic Logic 30 (1):97-98.
    Direct download  
     
    Export citation  
     
    Bookmark