- Tytuł:
- On the proof-theory of two formalisations of modal first-order logic
- Autorzy:
- Schwartz, Yehuda
- Współwytwórcy:
- Tourlakis, George J.
- Data publikacji:
- 2010
- 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.