- Tytuł:
- A Method of Axiomatic Rejection of Formulas in Propositional Logics
- Autorzy:
-
Borowik, P.
Bryll, G. - Data publikacji:
- 1999
- Słowa kluczowe:
-
logika zdań
system odrzuconych aksjomatów
rachunek różniczkowy
zasada subilitycji
logic of propositions
system of rejected axions
principle of subilitation
calculus - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł