1. 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) ↗
2. 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) ↗
3. 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) ↗
4. Realizability : an introduction to its categorical side /: an introduction to its categorical side. (2008) Other Names: Van Oosten, Jaap Record Type: Book Extent: 1 online resource (310 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. 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) ↗
6. The many valued and non-monotonic turn in logic. (2007) Other Names: Gabbay, Dov M, 1945-; Woods, John (John Hayden) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. 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) ↗
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. Quantification in nonclassical logic. Volume 1 (2009) Other Names: Gabbay, Dov M, 1945-; Shehtman, V. B (Valentin B.); Skvortsov, D. P (Dmitrij P.) Record Type: Book Extent: 1 online resource (1 volume), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. 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) ↗