Saul Kripke

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2000

2 EE 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)

2000
2	EE	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)