- Tytuł:
- A new arithmetically incomplete first-order extension of GL all theorems of which have cut free proofs
- Autorzy:
- Tourlakis, George J. Autor
- Tematy:
-
Dowodzenie (logika)
Logika modalna
Logika matematyczna - Pokaż więcej
- Data publikacji:
- 2016
- Dostawca treści:
- Academica
Artykuł