Title: Suiron to ronri
Subjects: Symbolic and mathematical Logic, Inference