عنوان
پدید آورنده
موضوع
رده
BC 61 .B32L32 1999 E.Book ,
BC
61
.
B32L32
1999
E
.
Book
,
کتابخانه
محل استقرار
:1889119083 (pbk. : alk. paper)
10357
انگلیسی
Language, proof, and logic
[electronic resources]
\ Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu.
;London
: seven bridges press
, 1999
xi, 587 p.
Glossary
Index
Logic.
منطق
160
21
BC
61
.
B32L32
1999
E
.
Book
,
Barwise, Jon.
Etchemendy, John,1952-
Allwein, Gerard,1956-
Barker-Plummer, Dave.
Liu, Albert,1966-
20151217151018.0
1889119083.pdf
BL
270410
1
Y
