Labelled deductive systems. Vol. 1. (English)
Oxford Logic Guides. 33. Oxford: Clarendon Press. xiii, 497 p. \sterling 65.00 (1996).
1
Linear lattice proof theory: an overview. (English)
Universal algebra and lattice theory, Proc. Conf., Charleston/S.C. 1984, Lect. Notes Math. 1149, 129-141 (1985).
2
Start
Contact
Print
General Help
