| 1 |  | A first course in mathematical logic and set theory / Michael L. O'Leary . - Hoboken, New Jersey : John Wiley & Sons, Inc., 2016. - xix, 443 pages ; 25 cm
Mã xếp giá: 511.3 O45Đăng ký cá biệt: Lầu 2 KLF: 2000007387 |
| 2 |  | A transition to advanced mathematics / Douglas Smith, Maurice Eggen, Richard St. Andre . - 7th ed., student ed. - Boston, MA : Brooks/Cole, Cengage Learning, 2011. - xviii, 398 p. : ill. ; 25 cm
Mã xếp giá: 511.3 S645Đăng ký cá biệt: Lầu 2 KLF: 2000007391 |
| 3 |  | Information, randomness & incompleteness : Papers on algorithmic information theory / Gregory J. Chaitin . - Singapore : World Scientific, 1987. - x, 272tr. ; 22cm
Mã xếp giá: 511.3 C435Đăng ký cá biệt: Lầu 2 KLF: 2000007388 |
| 4 |  | Introduction to advanced mathematics : A guide to understanding proofs / Connie M. Campbell.with the assistance of David C. Falvo, the Pennsylvania State University, the Behrend College . - 1st ed. - Boston, MA : Brooks/Cole Cengage Learning, 2012. - xi, 125 pages : ill ; 23 cm
Mã xếp giá: 511.3 C187Đăng ký cá biệt: Lầu 2 KLF: 2000007386 |
| 5 |  | Introduction to the theory of computation / Michael Sipse . - 3rd ed. - Boston, MA : Course Technology Cengage Learning, 2013. - xxii, 458 tr. : Minh họa ; 24 cm
Mã xếp giá: 511.3 S615Đăng ký cá biệt: Lầu 2 KLF: 2000007390 |
| 6 | | Lý thuyết ngôn ngữ hình thức và Otomat / Đặng Huy Ruận . - Hà Nội : Đại học Quốc gia Hà Nội, 2002. - 401 tr
Mã xếp giá: 511.3Đăng ký cá biệt: 7000000226 |
| 7 |  | Problems in set theory, mathematical logic and the theory of algorithms / Igor Lavrov, Larisa Maksimova ; edited by Giovanna Corsi . - Boston, MA : Springer US : Imprint: Springer, 2003. - xii, 282 pages ; 24 cm
Mã xếp giá: 511.3 L392Đăng ký cá biệt: Lầu 2 KLF: 2000007392 |
| 8 | | Theorems, corollaries, lemmas, and methods of proof / Richard J. Rossi . - Hoboken, New Jersey : Wiley-Interscience, 2006. - xiii, 318 tr. ; 24 cm
Mã xếp giá: 511.3 R831Đăng ký cá biệt: Lầu 1 TV: TKN11003376, Lầu 2 KLF: 2000007389 |