Document detail Share Find the document in other resources ???scheda.servizi.button??? Copia link The permalink has been copied, you can use it immediately.Just press Ctrl+v keys to put it where you prefer. Twitter 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 Write a review and share it with other readers. Find it at Details $currentBibFull Choose a library Filosofia Ingegneria informatica, automatica e gestionale Antonio Ruberti Ricerca sociale, informatica e comunicazione - Sede Informatica All libraries https://opac.uniroma1.it/SebinaOpacRMS/resource/RMS00055124?locale=eng