Title: Joho kagaku no tame no ronri sugaku (Nippyo sugaku sensho)
Subjects: Symbolic and mathematical Logic, Information science, Methodology