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. An introduction to mathematical proofs. ([2020]) Authors: Loehr, Nicholas A Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. 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) ↗
5. 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) ↗
6. 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) ↗
7. Facets of uncertainties and applications : ICFUA, Kolkata, India, December 2013 /: ICFUA, Kolkata, India, December 2013. ([2015]) Editors: Chakraborty, Mihir; Skowron, Andrzej; Māiti, Manorañjana; Kar, Samarjit Other Names: International Conference on Facets of Uncertainties and Applications Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. 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) ↗
9. 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) ↗
10. Functions and generality of logic : reflections on Dedekind's and Frege's logicisms /: reflections on Dedekind's and Frege's logicisms. (2015) Authors: Benis-Sinaceur, Hourya; Panza, Marco; Sandu, Gabriel Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗