- Tytuł:
- HERBRAND THEOREMS: THE CLASSICAL AND INTUITIONISTIC CASES
- Autorzy:
- Lyaletski Alexander
- Tematy:
-
AUTOMATED REASONING
CLASSICAL LOGIC
HERBRAND THEOREM
INTUITIONISTIC LOGIC
NON-CLASSICAL LOGICS
LIBRARY & INFORMATION SCIENCE - Pokaż więcej
- Dostawca treści:
- CEJSH
Artykuł