Mathematical Foundations of Computer Science 2013Krishnendu Chatterjee, Jiri Sgall · First published 2013Open the Tome
Mathematical Foundations of Computer Science 2001Jiri Sgall, Ales Pultr, Petr Kolman · First published 2003Open the Tome
Variation in languagePetr Sgall, Jiri Hronek, Alexander Stich, Ján Horecký · First published 1992Open the Tome
