1. A mathematical introduction to logic. (©2001) Other Names: Enderton, Herbert B Record Type: Book Extent: 1 online resource (xii, 317 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. The limits of logic : higher-order logic and the Löwenheim-Skolem theorem /: higher-order logic and the Löwenheim-Skolem theorem. (2016) Other Names: Shapiro, Stewart, 1951- Record Type: Book Extent: 1 online resource (552 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗