رده‌ها philosopher

Gottlob Frege
(1848 – 1925)

Participations:

گسترش‌ها
Begriffsschrift
Begriffsschrift
1879
author
Gottlob Frege


تاربرگ‌های پیموده‌شده در این نشست: An Interpretation of the Intuitionistic Propositional Calculus ⟩ Natural Deduction proof ⟩ Sub-classical logics