Logic, Language, and Computation المزيد من كتب Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe & Luca Spada

Dick de Jongh on Intuitionistic and Provability Logics

٢٠٢٤