opac, catalogo, online,servizi, biblioteca, sebina

Goal directed proof theory / Dov M. Gabbay and Nicola Olivetti. - Dordrecht <etc.> : Kluwer, c2000. - X, 266 p. ; 24 cm.

Gabbay, Dov M. <1945- >

Testo a stampa (moderno) 2000