Admissibility of logical inference rules
By: Vladimir V. Rybakov.
Series: Studies in logic and the foundations of mathematics ;; v. 136
Publisher: Elsevier
Published: 1997
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 617
Subjects: Logic, Symbolic and mathematical.; Inference.
Notes: Includes bibliographical references (p. 603-617) and index.