opac, catalogo, online,servizi, biblioteca, sebina

Ricerca avanzata Cronologia ricerche

Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie. - Dordrecht <etc.> : Kluwer, c1997. - XIV, 424 p. ; 25 cm.

Goubault-Larrecq, Jean

Testo a stampa (moderno) 1997