Predstavenie autora Odysseus Makridis:

Doterajšie vydané knihy od Odysseus Makridis:

Symbolická logika - Symbolic Logic
Palgrave Macmillan Ltd
Táto kniha poskytuje komplexný úvod do základných prvkov štandardnej (klasickej) symbolickej logiky. Medzi kľúčové témy patria.-...
Symbolická logika - Symbolic Logic
Fathoming Formal Logic: II: Sémantika a teória dôkazov predikátovej logiky - Fathoming Formal Logic:...
Kings College Pubn
Tento text, druhý diel dvojzväzkového diela,...
Fathoming Formal Logic: II: Sémantika a teória dôkazov predikátovej logiky - Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic
Fathoming Formal Logic: Teória a rozhodovacie postupy pre výrokovú logiku - Fathoming Formal Logic:...
Kings College Pubn
Tento text, prvý zväzok dvojdielneho diela,...
Fathoming Formal Logic: Teória a rozhodovacie postupy pre výrokovú logiku - Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic
<<
1
>>