| |
| 1993 | ||
|---|---|---|
| 2 | Giovanni Faglia: Double Exponential Inseparability Of Robinson Subsystem Q+ From The Unsatisfiable Sentences In The Language Of Addition. Kurt Gödel Colloquium 1993: 184-186 | |
| 1 | Giovanni Faglia, Paul Young: In The Meaning Of Essentially Unprovable Theorems In The Presburger Theory Of Addition. Kurt Gödel Colloquium 1993: 187-189 | |
| 1 | Paul Young | [1] |