The mu-calculus and the hierarchy problem

Editore: Scuola Normale Superiore
Autore: Giacomo Lenzi
Collana: Tesi
In commercio dal: 1998
Pagine: 94 p., Libro in brossura
EAN: 9788876422836