Rybakov, Vladimir V Admissibility of logical inference rules - Amsterdam: Elsevier, 1997 - 617 p. : ill. ; 24 cm ISBN: 9780444895059 Subjects--Topical Terms: Inference Dewey Class. No.: 511.3 RYB