Yazar
Sergei Artemov
3 cilt bulundu.
Cilt sonuçları
Logical Foundations of Computer Science
Sergei Artemov · Springer Berlin / Heidelberg
407 sayfa · 2007
Mathematical Logic and Formal Languages / Symbolic and mathematical Logic / Information theory / Logic design / Logics and Meanings of Programs
Justification Logic
Sergei Artemov, Melvin Fitting · Cambridge University Press
268 sayfa · 2019
Logic, symbolic and mathematical / Knowledge, theory of / Science / Reasoning