Conditional and Preferential Logics
Subtitle: Proof Methods and Theorem Proving
Publisher: IOS Press, Incorporated
Published: 2010
Language: eng
ISBN-13: 9781607500957
Subjects: Logic, symbolic and mathematical; Proof theory