Chapter PDF (0.11 Mb)
Compatible only with Adobe Acrobat Reader - free software - (find out how to open the files)
Artosi, Alberto

Deontic theorem proving

2000 - CLUEB

P. [1-25] [25]

Is part of

Studies on normative reasoning : logical and philosophical perspectives. - ( Filosofia, informatica, diritto ; 11)