Multiple-conclusion logic. (English) Zbl 0381.03001
Cambridge etc.: Cambridge University Press. XIII, 396 p. £15.00 (1978).
MSC:
| 03-02 | Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations |
| 03F03 | Proof theory in general (including proof-theoretic semantics) |
| 03B22 | Abstract deductive systems |
| 03B50 | Many-valued logic |
