Prezentarea autorului Odysseus Makridis:

Cărțile publicate de Odysseus Makridis până acum:

Logică simbolică - Symbolic Logic
Palgrave Macmillan Ltd
Această carte oferă o introducere cuprinzătoare la elementele esențiale ale logicii simbolice standard (clasice). Subiectele cheie...
Logică simbolică - Symbolic Logic
Fathoming Formal Logic: Vol II: Semantica și teoria probelor pentru logica predicatelor - Fathoming...
Kings College Pubn
Acest text, volumul II al unei lucrări în două...
Fathoming Formal Logic: Vol II: Semantica și teoria probelor pentru logica predicatelor - Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic
Fathoming Formal Logic: Vol 1: Teoria și procedurile de decizie pentru logica propozițională -...
Kings College Pubn
Acest text, volumul I al unei lucrări în două...
Fathoming Formal Logic: Vol 1: Teoria și procedurile de decizie pentru logica propozițională - Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic
<<
1
>>

© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)