Order:
Disambiguations
A. Kino [7]Akiko Kino [7]
  1.  11
    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  
     
    My bibliography   5 citations  
  2.  2
    On Definability of Ordinals in Logic with Infinitely Long Expressions.Akiko Kino - 1966 - Journal of Symbolic Logic 31 (3):365-375.
  3.  7
    Correction to a Paper on Definability of Ordinals in Infinite Logic.Akiko Kino - 1967 - Journal of Symbolic Logic 32 (3):343-344.
  4.  1
    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.
  5.  1
    On Predicates with Constructive Infinitely Long Expressions.Gaisi Takeuti & Akiko Kino - 1965 - Journal of Symbolic Logic 30 (1):97-98.
    Direct download  
     
    Export citation  
     
    My bibliography  
  6. A Note on Constructive Ordinals.Akiko Kino - 1964 - Annals of the Japan Association for Philosophy of Science 2 (4):189-198.
  7. On Hierarchies of Predicates of Ordinal Numbers.Gaisi Takeuti & Akiko Kino - 1968 - Journal of Symbolic Logic 33 (2):293-294.