عنوان
پدید آورنده
موضوع
رده
QA,9.54,.B736,2011
QA
,
9
.
54
,.
B736
,
2011
کتابخانه
محل استقرار
9789400700017
IR
ebook51311
انگلیسی
IR
Hybrid logic and its proof-theory
[Electronic Resource]
/ by Torben Braeuner
Dordrecht ;New York
: Springer,
, c2011.
xiii, 231 p.
: ill. ; 24 cm.
(Applied logic series,1386-2790
; v. 37)
e
Includes bibliographical references (p. 221-228) and index.
Applied logic series
v. 37
Proof theory.
Logic, Symbolic and mathematical.
QA
,
9
.
54
,.
B736
,
2011
Braeuner, Torben
ایران
QA,9.54,.B736,2011
9789400700017.pdf
0
old catalog
e
BL
1
a
Y
