- Tytuł:
- Natural Deduction System for Some Three-valued Propositional Logic
- Autorzy:
- Zbrzezny, A.
- Data publikacji:
- 1999
- Słowa kluczowe:
-
teoria kompletności
logika zdań
rachunek ciągowy N
sequence N calculus
completeness theorem
logic of propositions - Pokaż więcej
- Dostawca treści:
- BazTech