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 | | Đánh giá năng lực giao tiếp toán học của học sinh lớp 10 khi học chủ đề tập hợp : Luận văn thạc sĩ : 8140111 / Trần Ngọc Quỳnh ; Tăng Minh Dũng hướng dẫn khoa học . - Tp. Hồ Chí Minh : Trường Đại học Sài Gòn, 2019. - 63, [34] tr. ; 29 cm Mã xếp giá: 511.32 T77Đăng ký cá biệt: Lầu 2 KLF: 3100003263 |