Mathematical Foundations of Computer Science 2003Branislav Rovan, Peter Vojtas · First published 2003Open the Tome