Foundations of Logic Completeness, Incompleteness, Computability by Dag Westerståhl | Menrva Books | MenrvaBooks