- Tytuł:
- Sequent calculi for beginners and professionals
- Autorzy:
- Klonowski, Mateusz. Autor
- Tematy:
-
Rachunek kwantyfikatorów
Indrzejczak, Andrzej (1964- ). Rachunki sekwentowe w logice klasycznej
Rachunek sekwentowy - Pokaż więcej
- Data publikacji:
- 2018
- Dostawca treści:
- Academica
Artykuł