Set theory for computing : from decision procedures to declarative programming with sets

Domenico Cantone, Eugenio Omodeo, Alberto Policriti
Bok · Engelsk · 2001

Utgitt	Berlin : Springer , c2001
Omfang	xviii, 409 s.
Emner	Computable functions. Set theory. Gruppeteori
Dewey	511.3/22
ISBN	0387951970