Theorem Proving in H ...
Jim Grundy, Mal ...
List Price: £ 81.00
Our Price: £ 40.30
Quantifiers Logics, ...
Michal Krynicki ...
List Price: £ 109.99
Our Price: £ 71.90
Many-Valued Logics 1 ...
Leonard Bolc, P ...
Our Price: £ 51.62
Completeness and Red ...
Peter Bürgisser
Our Price: £ 30.45
Time Map Phonology F ...
J. Carson-Bernd ...
Labelled Non-Classic ...
Luca Viganò
List Price: £ 149.99
Our Price: £ 106.22
Logics in Artificial ...
Jose Julio Alfe ...
List Price: £ 72.00
Our Price: £ 37.93
Logics for Databases ...
Jan Chomicki, G ...
List Price: £ 199.99
Our Price: £ 143.56