Dettaglio del documento
Find the document in other resources
Labelled deduction / edited by David Basin <et al.>. - Dordrecht <etc.> : Kluwer, c2000. - XI, 266 p. ; 25 cm.
Testo a stampa (moderno)
2000
https://opac.uniroma1.it/SebinaOpacRMS/resource/RMS00073747?locale=eng