The limits of logic : higher-order logic and the Löwenheim-Skolem theorem /: higher-order logic and the Löwenheim-Skolem theorem. (2016) - Unknown
No abstract available