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