21 citations · 70 across the 12 of their papers we have counts for
1 paper · 2 filters
Hugo Herbelin, Danko Ilik
G{ö}del's completeness theorem for classical first-order logic is one of the most basic theorems of logic. Central to any foundational course in logic, it connects the notion of va…