رده‌ها book

Logical-Historical Analysis of Gödel's Metatheorem in Modal Logic

Participants:

گسترش‌ها
Afshin Pouria
Afshin Pouria
(1978 – present)


تاربرگ‌های پیموده‌شده در این نشست: The Completeness of the First-Order Functional Calculus ⟩ Logic ⟩ Mathematical foundations ⟩ Substructural Logics