Stewart Shapiro The Limits of Logic Higher-Order Logic and the Löwenheim-Skolem Theorem - Taylor and Francis 1996 ISBN: 9781315238647 Source: EBOOK