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. An atlas of the smaller maps in orientable and nonorientable surfaces. (©2001) Other Names: Jackson, D. M; Visentin, Terry I Record Type: Book Extent: 1 online resource (279 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Combinatory logic : pure, applied and typed /: pure, applied and typed. (©2012) Other Names: Bimbó, Katalin, 1963- Record Type: Book Extent: 1 online resource (xi, 345 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Computability, complexity, and languages : fundamentals of theoretical computer science /: fundamentals of theoretical computer science. (1994) Other Names: Davis, Martin, 1928-; Sigal, Ron; Weyuker, Elaine J Record Type: Book Extent: 1 online resource (xix, 609 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Elements of set theory. (©1977) Other Names: Enderton, Herbert B Record Type: Book Extent: 1 online resource (xiv, 279 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Foundations of set theory. (1973) Other Names: Fraenkel, Abraham Adolf, 1891-1965; Bar-Hillel, Yehoshua; Lévy, Azriel, 1934-; Dalen, D. van (Dirk), 1932- Record Type: Book Extent: 1 online resource (x, 404 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Foundations of set theory. (©1973) Other Names: Fraenkel, Abraham Adolf, 1891-1965; Bar-Hillel, Yehoshua; Lévy, Azriel, 1934-; Dalen, D. van (Dirk), 1932- Record Type: Book Extent: 1 online resource (x, 404 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Fourier modal method and its applications in computational nanophotonics. (©2012) Other Names: Kim, Hwi; Park, Junghyun; Lee, Byoungho Record Type: Book Extent: 1 online resource (xii, 313 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Fourier series in several variables with applications to partial differential equations. (©2011) Other Names: Shapiro, Victor L (Victor Lenard), 1924-2013 Record Type: Book Extent: 1 online resource (xiv, 334 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. General lattice theory. (1978) Other Names: Gratzer, George A Record Type: Book Extent: 1 online resource (xiii, 381 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗