The Limits of Logic: Higher-Order Logic and the Löwenheim-Skolem Theorem by Stewart Shapiro Back to product details page >