1. Granular computing in decision approximation : an application of rough mereology /: an application of rough mereology. ([2015]) Authors: Polkowski, Lech; Artiemjew, Piotr Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Limits of computation : an introduction to the undecidable and the intractable /: an introduction to the undecidable and the intractable. ([2013]) Other Names: Reiter, Edna E (Edna Elizabeth); Johnson, Clayton Matthew Record Type: Book Extent: 1 online resource (xix, 259 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Elements of advanced mathematics. (2012) Other Names: Krantz, Steven G (Steven George), 1951- Record Type: Book Extent: 1 online resource (xvi, 351 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Almost free modules : set-theoretic methods /: set-theoretic methods. (2002) Other Names: Eklof, Paul C; Mekler, Alan H Record Type: Book Extent: 1 online resource (597 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Invariant descriptive set theory. (©2009) Other Names: Gao, Su, 1968- Record Type: Book Extent: 1 online resource (xiv, 383 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Gödel's way : exploits into an undecidable world /: exploits into an undecidable world. (©2012) Other Names: Chaitin, Gregory J; Doria, Francisco Antônio; Costa, Newton C. A. da Record Type: Book Extent: 1 online resource (xxi, 138 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. 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) ↗