opac, catalogo, online,servizi, biblioteca, sebina

Propositional logic : deduction and algorithms / Hans Kleine Buning, Theodor Lettman. - Cambridge (etc.) : Cambridge University press, 1999. - X, 409 p. : 23 cm.

Buning, Hans Kleine

Testo a stampa (moderno) 1999