Giles's Game and the Proof Theory of Łukasiewicz Logic
| Autor: | Fermüller, Christian G., Metcalfe, George |
|---|---|
| Zdroj: | Studia Logica: An International Journal for Symbolic Logic, 2009 Jun 01. 92(1), 27-61. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|
| Autor: | Fermüller, Christian G., Metcalfe, George |
|---|---|
| Zdroj: | Studia Logica: An International Journal for Symbolic Logic, 2009 Jun 01. 92(1), 27-61. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|
Full text from SpringerLink