عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
ebl202226725
eng
Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
Springer,
, 2022.
e
Logic, Symbolic and mathematical. ;
D?ntsch, Ivo, ;
old catalog
