| 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 S39Đă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 F2Đăng ký cá biệt: Lầu 1 TV: TKN11003375, Lầu 2 KLF: 2000007394 |