Decidability of Logical Theories and Their Combination
João Rasga and 1 more
Hardback
Not Available
Sequents and Trees
Andrzej Indrzejczak
In Stock
£49.49 £54.99
The National Year of Reading starts here. Join thousands of families and schools supporting reading for pleasure across the UK.
