Odysseus Makridis szerző bemutatása:

Odysseus Makridis szerző eddig megjelent könyvei:

Szimbolikus logika - Symbolic Logic
Palgrave Macmillan Ltd
Ez a könyv átfogó bevezetést nyújt a standard (klasszikus) szimbolikus logika alapvető elemeibe. A legfontosabb témakörök a...
Szimbolikus logika - Symbolic Logic
A formális logika kifürkészése: kötet: Szemantika és bizonyításelmélet a predikátumlogikában -...
Kings College Pubn
Ez a szöveg, egy kétkötetes mű II. kötete,...
A formális logika kifürkészése: kötet: Szemantika és bizonyításelmélet a predikátumlogikában - Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic
Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic (I. kötet: A...
Kings College Pubn
Ez a szöveg, egy kétkötetes mű I. kötete, alaposan...
Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic (I. kötet: A tételes logika elmélete és döntési eljárásai) - Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic
<<
1
>>