Westerstahl D. Foundations of Logic. Completeness,Incompl..., Computability 2024