Teruyuki Yorioka

• Advances in Mathematical Logic
• Mugen shūgōjō no kumiawaseron to kyōseihō riron