عنوان
پدید آورنده
موضوع
رده
QA9.54 .G33 2000
QA9
.
54
.
G33
2000
کتابخانه
محل استقرار
0792364732
IR
EB11679
انگلیسی
IR
Goal-directed proof theory
[Electronic Resource]
/ by Dov M. Gabbay and Nicola Olivetti
Dordrecht ; Boston
: Kluwer Academic,
, 2000.
x, 266 p. ill. 25 cm.
(Applied logic series
; v. 21)
e
ng
Includes bibliographical references and index.
Proof theory
511
.
3
QA9
.
54
.
G33
2000
Gabbay, Dov M.,1945-
Olivetti, Nicola
ایران
0792364732.pdf
محرمانه
محرمانه
0792364732.pdf
0
متن
old catalog
e
BL
1
a
Y
