Non-Standard Logics for Automated Reasoning - Hardcover

 
9780126495201: Non-Standard Logics for Automated Reasoning

Synopsis

x 334p hardback, index, bibliography, tables, hardly used, very good

"synopsis" may belong to another edition of this title.