- Tytuł:
- Tableau system for logic of categorial propositions and decidability
- Autorzy:
- Jarmużek, Tomasz
- Data publikacji:
- 2008
- Tematy:
- Logika matematyczna
- Pokaż więcej
- Dostawca treści:
- Academica
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.