Jacques Herbrand
(1908 – 1931)


تاربرگ‌های پیموده‌شده در این نشست: proof-theoretic ⟩ Proof theory ⟩ perdurant ⟩ Ernst Friedrich Ferdinand Zermelo ⟩ Provability logic ⟩ Anita Wasilewska