عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook42187
eng
Advances in linear logic
Cambridge :
: Cambridge University Press,
, 1995.
Print
Logic, Symbolic and mathematical ; Congresses. ;
Yves, ; editor. ;-Girard, Jean
old catalog
