Logic, Language, and Computation Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe & Luca Spada의 도서 더 보기

Dick de Jongh on Intuitionistic and Provability Logics

2024년