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