How to Extend the Semantic Tableaux and Cut-Free Versions of the Second Incompleteness Theorem almost to Robinson's Arithmetic Q
| Autor: | Willard, Dan E. |
|---|---|
| Zdroj: | The Journal of Symbolic Logic, 2002 Mar 01. 67(1), 465-496. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|