- CSB - MetaPress - Google - Bing - Yahoo
 | 2000 | |
|---|---|---|
| 2 |      | Saul Kripke: From the Church-Turing Thesis to the First-Order Algorithm Theorem. LICS 2000: 177 |
| 1959 | ||
| 1 |  | Saul Kripke: A Completeness Theorem in Modal Logic. J. Symb. Log. 24(1): 1-14 (1959) |