رده‌ها book

Logics for Computer Science, Classical and Non-Classical
(2018)

Participants:

گسترش‌ها
Anita Wasilewska
Anita Wasilewska


تاربرگ‌های پیموده‌شده در این نشست: A reduction in number of the postulates for C. I. Lewis' system of strict implication ⟩ The Compendious Book on Calculation by Completion and Balancing ⟩ A Critical Exposition of the Philosophy of Leibniz