Mathematical logic
Proof-theoretic Semantics
Haifa) Francez Dr Nissim (Technion - Israel Institute of Technology
£20.70
Matrix Partial Orders, Shorted Operators And Applications
India) Bhimasankaram P (Univ Of Hyderabad, India) Malik Delhi Univ Saroj B (Hindu College, et al.
£99.00
Logic Functions and Equations: Binary Models for Computer...
Christian Posthoff and Bernd Steinbach
£149.99