عنوان
پدید آورنده
موضوع
رده
BC71
BC71
کتابخانه
محل استقرار
3319110403 (print)
3319110411
9783319110400 (print)
9783319110417
9783319110400
dltt
Dag Prawitz on proofs and meaning /
[Book]
Heinrich Wansing, editor
1 online resource.
Outstanding contributions to logic ;
v. 7
9783319110400
Logic design.
Logic, Symbolic and mathematical.
Logic.
Philosophy.
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
Philosophy.
HPL 23
PHI-- 011000
PHI011000 23
100
160
23
BC71
Wansing, H., (Heinrich)
Ohio Library and Information Network.
20150319072407.2
pn
مطالعه متن کتاب [Book]
Y
