Saul Kripke

2001 annual meeting of the association for symbolic logic

Joan Feigenbaum, John C. Mitchell, Haim Gaifman, 2001 .

A completeness theorem in modal logic

Saul Kripke, Saul A. Kripke, Saul Kripke, 1959, Journal of Symbolic Logic.

Of the association for symbolic logic

Dirk Schlimm, Saul Kripke, Emily Grosholz, 2009 .

From the church-turing thesis to the first-order algorithm theorem

Saul Kripke, 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).