Completeness and Reductio ...
Peter Bürgisser
List Price: $ 159.99
Our Price: $ 49.64
Logics for Databases and ...
Jan Chomicki, G ...
List Price: $ 299.99
Our Price: $ 193.16
Theorem Proving in Higher ...
Jim Grundy, Mal ...
List Price: $ 129.00
Our Price: $ 59.61
Quantifiers Logics, Model ...
Michal Krynicki ...
Our Price: $ 100.59
Logics in Artificial Inte ...
Jose Julio Alfe ...
List Price: $ 109.00
Our Price: $ 55.66
Many-Valued Logics 1 Theo ...
Leonard Bolc, P ...
Our Price: $ 75.28
Time Map Phonology Finite ...
J. Carson-Bernd ...
Labelled Non-Classical Lo ...
Luca Viganò
List Price: $ 219.99
Our Price: $ 147.68