عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook42212
eng
Bounded arithmetic, propositional logic, and complexity theory
Cambridge [England] ;New York, NY, USA :
: Cambridge University Press,
, 1995.
Print
Constructive mathematics. ; Proposition (Logic) ; Computational complexity. ;
Kraj???ek, Jan. ;
old catalog
