A NOTE ON THE INTUITIONIST AND THE CLASSICAL PROPOSITIONAL CALCULUS
| Autor: | BETH, EVERT W., LEBLANC, HUGUES |
|---|---|
| Zdroj: | Logique et Analyse, 1960 Oct 01. 3(11/12), 174-176. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|
| Autor: | BETH, EVERT W., LEBLANC, HUGUES |
|---|---|
| Zdroj: | Logique et Analyse, 1960 Oct 01. 3(11/12), 174-176. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|