Theorem Proving in Higher ...
Jim Grundy, Mal ...
List Price: $ 129.00
Our Price: $ 57.99
Many-Valued Logics 1 Theo ...
Leonard Bolc, P ...
List Price: $ 159.99
Our Price: $ 73.17
Time Map Phonology Finite ...
J. Carson-Bernd ...
Our Price: $ 97.55
Logics in Artificial Inte ...
Michael Fisher, ...
List Price: $ 139.00
Our Price: $ 59.58
Completeness Theory for P ...
Witold A. Pogor ...
List Price: $ 99.99
Our Price: $ 53.99
Labelled Non-Classical Lo ...
Luca Viganò
List Price: $ 219.99
Our Price: $ 142.99
Quantifiers Logics, Model ...
Michal Krynicki ...
Steffen Holldob ...
List Price: $ 89.99
Our Price: $ 54.99
Logics for Emerging Appli ...
Jan Chomicki, R ...
List Price: $ 149.99
Our Price: $ 101.18
The Age of Alternative Lo ...
Johan van Benth ...
Our Price: $ 330.65
Otmane Ait Moha ...
List Price: $ 99.00
Our Price: $ 49.49
Jose Julio Alfe ...
List Price: $ 109.00
Logics for Databases and ...
Jan Chomicki, G ...
List Price: $ 299.99
Our Price: $ 186.99
Proof Theory for Fuzzy Lo ...
George Metcalfe ...
Our Price: $ 115.99
Logics of Specification L ...
Dines Bjørner, ...
List Price: $ 249.99
Our Price: $ 151.43