Prezentacja autora Odysseus Makridis:

Dotychczas wydane książki Odysseus Makridis:

Logika symboliczna - Symbolic Logic
Palgrave Macmillan Ltd
Książka ta stanowi kompleksowe wprowadzenie do podstawowych elementów standardowej (klasycznej) logiki symbolicznej. Kluczowe...
Logika symboliczna - Symbolic Logic
Fathoming Formal Logic: Vol II: Semantyka i teoria dowodu dla logiki predykatów - Fathoming Formal...
Kings College Pubn
Niniejszy tekst, tom II dwutomowego dzieła,...
Fathoming Formal Logic: Vol II: Semantyka i teoria dowodu dla logiki predykatów - Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic
Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic
Kings College Pubn
Niniejszy tekst, tom I dwutomowego dzieła, dogłębnie...
Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic
<<
1
>>