Admissibility of logical inference rules /

Bibliographic Details

Main Author:	Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Format:	Book
Language:	English
Published:	Amsterdam ; New York : Elsevier, 1997.
Series:	Studies in logic and the foundations of mathematics ; v. 136.
Subjects:	Logic, Symbolic and mathematical. Inference.