Auteur: Eugenio Omodeo

Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. Mastering today’s variety of systems with crisp, formal …