opac, catalogo, online,servizi, biblioteca, sebina

Labelled deduction / edited by David Basin <et al.>. - Dordrecht <etc.> : Kluwer, c2000. - XI, 266 p. ; 25 cm.

Testo a stampa (moderno) 2000