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: