عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
9781402067815 (hbk. : alk. paper)
140206781X (hbk.)
1402067828 (ebk.)
9781402067822 (ebk.)
GBA788563
لاتين
انگليسي
Analysis and synthesis of logics :how to cut and paste reasoning systems /Walter Carnielli ... [et al.].
Dordrecht
Springer
c2008.
xvi, 600 p. :ill. ;25 cm.
Applied logic series ;
مرجع به حساب نمي آيد
Includes bibliographical references (p. 559-578) and index.
Logic, Symbolic and mathematical.
QA
9
.
A634
2008
مولف
Carnielli, Walter A.
