×

zbMATH — the first resource for mathematics

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