عنوان
پدید آورنده
موضوع
رده
QA,248,.S364,2011
QA
,
248
,.
S364
,
2011
کتابخانه
محل استقرار
alk. paper)
9780857298072 (hbk.
IR
ebook40868
انگلیسی
IR
Computational logic and set theory
[Electronic Resource]
:applying formalized logic to analysis
/ Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
London ;New York
: Springer,
, c2011.
xvii, 416 p.
: ; 24 cm.
e
Includes bibliographical references and index.
Applying formalized logic to analysis
Set theory.
QA
,
248
,.
S364
,
2011
Schwartz, Jacob T
Cantone, Domenico
Omodeo, Eugenio
ایران
QA,248,.S364,2011
9780857298072.pdf
0
old catalog
e
BL
1
a
Y
