- Tytuł:
- Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation
- Autorzy:
- Źródło:
- Studia Logica: An International Journal for Symbolic Logic. :1-31
Czasopismo naukowe
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.