Georg Kreisel
(1923 – 2015)


تاربرگ‌های پیموده‌شده در این نشست: Finite model property ⟩ George Boole ⟩ Avicenna ⟩ invertibility ⟩ Zur Logik der Modalitäten ⟩ Axiom of Replacement