1 | | Computational logic and set theory : Applying formalized logic to analysis / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo . - London ; New York : Springer, 2011. - xvii, 416 tr. ; 24 cm. - ( Natural computing series, 1619-7127 ) Mã xếp giá: 511.32 S399Đăng ký cá biệt: Lầu 2 KLF: 2000007393 |
2 | | The mathematics of infinity : A guide to great ideas / Theodore G. Faticoni . - Hoboken, N.J. : Wiley-Interscience, 2006. - xii, 287 tr. ; 24 cm. - ( Pure and applied mathematics ) Mã xếp giá: 511.322 F253Đăng ký cá biệt: Lầu 1 TV: TKN11003375, Lầu 2 KLF: 2000007394 |