Saul Kripke

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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)

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page