00462nam a2200169 4500 SEACOMEC 20240416114538.0 231006b |||||||| |||| 00| 0 eng d SEACOMEC 511.3 S618 Sipser, Michael Introduction to the Theory of Computation Michael Sipser Singapore Thomson 2001 General principles of mathematics Mathematical logic BOOK 0 0 ddc 0 0 SEACOMEC SEACOMEC 2024-04-16 0 511.3 S618 5109 2024-04-16 11:46:29 2024-04-16 BOOK 141 141