Get This : Conditional and preferential logics [electronic resource] : proof methods and theorem proving / Gian Luca Pozzato.

Title : Conditional and preferential logics [electronic resource] : proof methods and theorem proving / Gian Luca Pozzato.

Call Number : No call number

Status : Unknown