Georg Kreisel
(1923 – 2015)


تاربرگ‌های پیموده‌شده در این نشست: Logic R ⟩ Sequent calculus ⟩ Logic B ⟩ What is Logic? ⟩ Axiom of pairing ⟩ Metaphysics, A Contemporary Introduction