رده‌ها book

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

Participants:

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


تاربرگ‌های پیموده‌شده در این نشست: denote ⟩ ارزش‌های راستی محکی جملات هستند ⟩ transcendence ⟩ relational semantics ⟩ Infinite-valued logic ⟩ Symbolic Logic