عنوان
پدید آورنده
موضوع
رده
QA9,.H36,2004
QA9
,.
H36
,
2004
کتابخانه
محل استقرار
0198529805
IR
ebook3340
انگلیسی
IR
A first course in logic
[Electronic Resource]
:an introduction to model theory, proof theory, computability, and complexity
/ Shawn Hedman
Oxford ;New York
: Oxford University Press,
, 2004.
xx, 431 p.
: ill. ; 25 cm.
(Oxford texts in logic
; 1)
e
Includes bibliographical references (p. [426]-427) and index.
Logic.
Logic, Symbolic and mathematical.
160
QA9
,.
H36
,
2004
Hedman, Shawn
ایران
160
0198529805.pdf
0
0
old catalog
e
BL
1
a
Y
