عنوان
پدید آورنده
موضوع
رده
QA,9.4,.A44,2007
QA
,
9
.
4
,.
A44
,
2007
کتابخانه
محل استقرار
(pbk.)
9783540759386
IR
ebook48788
انگلیسی
IR
Algebraic and proof-theoretic aspects of non-classical logics
[Electronic Resource]
:papers in honor of Daniele Mundici on the occasion of his 60th birthday
/ Stefano Aguzzoli ... [et al.] (eds.)
Berlin ;New York
: Springer,
, c2007.
viii, 308 p.
: ill. ; 24 cm.
(Lecture notes in computer science,0302-9743
; 4460.Lecture notes in artificial intelligence.FoLLI publications on logic, language and information.)
e
Includes bibliographical references and index.
Lecture notes in computer science
Lecture notes in computer science.Lecture notes in artificial intelligence
Lecture notes in computer science.Lecture notes in artificial intelligence.FoLLI publications on logic, language and information
4460
Mundici, Daniele,--1946
Nonclassical mathematical logic.
511
.
3
,
1
QA
,
9
.
4
,.
A44
,
2007
Mundici, Daniele� 1946
Aguzzoli, Stefano
ایران
511.3,1
9783540759386.pdf
0
0
old catalog
e
BL
1
a
Y
