Saul Kripke “Non-Standard Models and Gödel’s Theorem“

Computational Logic: A 70th Birthday Celebration Honoring Melvin Fitting
Back to Top