Gödel 96 : Logical Foundations of Mathematics, Computer Science, and Physics Lecture Notes in Logic 6 by Petr Hajek | Menrva Books | MenrvaBooks