- Tytuł:
- An investigation into intuitionistic logic with identity
- Współwytwórcy:
-
Zakład Logiki i Kognitywistyki (Uniwersytet im. Adama Mickiewicza ; Poznań)
Chlebowski, Szymon Autor
Leszczyńska-Jasion, Dorota Autor - Tematy:
-
Logika intuicjonistyczna
Rachunek sekwentowy
Semantyka Kripkego
Logika niefregowska - Data publikacji:
- 2019
- Język:
- angielski
- Prawa:
-
http://www.europeana.eu/rights/rr-r/
Publikacja chroniona prawem autorskim - reprodukcja cyfrowa dostępna w czytelniach BN i na terminalach Academiki - Źródło:
- Biblioteka Narodowa
- Dostawca treści:
- Academica
- Artykuł