Admissibility of logical inference rules /

Saved in:
Bibliographic Details
Author / Creator:Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Imprint:Amsterdam ; New York : North Holland/Elsevier, 1997.
Description:617 p. : ill. ; 23 cm.
Series:Studies in logic and the foundations of mathematics. v. 136
Subject:Logic, Symbolic and mathematical.
Logic, Symbolic and mathematical.
Format: E-Resource Print Book
URL for this record:
Hidden Bibliographic Details
ISBN:0444895051 (alk. paper)
Notes:Accompanied by an errata.
Includes bibliographical references (p. 603-617) and index.