ML Mathematical logic for computer science by Zhongwan, Lu fromWorld scientific series in computer science 0 Type: Book
CS Computer science and educational software design: a resource for multidisciplinary work in technolo… by Tchounikine, Pierre 0 Type: Book
NR Noncommutative rational series with applications by Reutenauer, Christophe, Berstel, Jean fromEncyclopedia of mathematics and its applications 0 Type: Book
M Mathematics++: selected topics beyond the basic courses by Matoušek, Jiří, Kantor, Ida, Samal, Robert fromStudent mathematical library 0 Type: Book
