A Proof System for Classical Logic
| Autor: | Pogorzelski, Witold A., Wojtylak, Piotr |
|---|---|
| Zdroj: | Studia Logica: An International Journal for Symbolic Logic, 2005 Jun 01. 80(1), 95-104. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|
| Autor: | Pogorzelski, Witold A., Wojtylak, Piotr |
|---|---|
| Zdroj: | Studia Logica: An International Journal for Symbolic Logic, 2005 Jun 01. 80(1), 95-104. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|
Full text from SpringerLink