RecordNumber :
50714
LC Class :
QA
LC Number :
9
LC CutterNumber :
.R986
LC Date :
1997
Author :
Rybakov, Vladimir V. (Vladimir Vladimir)
Birth-Death :
1961-
Title :

Admissibility of logical inference rules

Author Statement :
Vladimir V. Rybakov
Publication :
Amsterdam New York Elsevier
Publication Year :
1997
Collation :
617 p. : ill. ; 24 cm
Series :
Studies in logic and the foundations of mathematics v. 136
Subject :
Logic, Symbolic and mathematical , Inference
ADDED ENTRIES :
TI
وارد كنندة اطلاعات :
aghaee
تاريخ ورود اطلاعات :
1391/06/18
Index :
Includes bibliographical references and index
Link To Document :

بازگشت