11. 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) ↗
12. Introduction to mathematics of satisfiability. (©2009) Other Names: Marek, Wiktor Record Type: Book Extent: 1 online resource (xiii, 350 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. Lattice basis reduction : an introduction to the LLL algorithm and its applications /: an introduction to the LLL algorithm and its applications. (©2012) Other Names: Bremner, Murray R Record Type: Book Extent: 1 online resource (xvii, 316 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
14. Lattice engineering : technology and applications /: technology and applications. (©2013) Other Names: (College teacher), Wang, Shumin Record Type: Book Extent: 1 online resource (xii, 396 pages, 4 pages of color plates), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
15. Practical Fourier analysis for multigrid methods. (©2005) Other Names: Wienands, R (Roman); Joppich, W (Wolfgang), 1950- Record Type: Book Extent: 1 online resource (217 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
16. Principles of Fourier analysis. (©2001) Other Names: Howell, Kenneth B Record Type: Book Extent: 1 online resource (776 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
17. 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) ↗
18. 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) ↗
19. 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) ↗