- Tytuł:
- Aksjomatyzacja rachunku zdaniowego dualnego względem klasycznego implikacyjno-negacyjnego rachunku zdań
- Autorzy:
- Górnicka, A.
- Data publikacji:
- 1999
- Słowa kluczowe:
-
aksjomatyzacja
rachunek zadań
logika matematyczna
axiomatization
jobs bill
mathematical logic - Język:
- polski
- Dostawca treści:
- BazTech
- Artykuł