Foundations of logic : Completeness, incompleteness, computability - Westerståhl, Dag (Stanford: Center for The Study of Language, 2023)
Keywords: Philosophy