6 found
Sort by:
Disambiguations:
A. Kino [7]Akiko Kino [6]
  1. 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  
     
    My bibliography  
     
    Export citation  
  2. 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  
     
    My bibliography  
     
    Export citation  
  3. Gaisi Takeuti & Akiko Kino (1968). On Hierarchies of Predicates of Ordinal Numbers. Journal of Symbolic Logic 33 (2):293-294.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Akiko Kino (1967). Correction to a Paper on Definability of Ordinals in Infinite Logic. Journal of Symbolic Logic 32 (3):343-344.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. 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)  
     
    My bibliography  
     
    Export citation  
  6. Gaisi Takeuti & Akiko Kino (1965). On Predicates with Constructive Infinitely Long Expressions. Journal of Symbolic Logic 30 (1):97-98.
    Direct download  
     
    My bibliography  
     
    Export citation