عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
ebl202222594
eng
classical logics /-Arnon Avron on semantics and proof theory of non
Springer,
, 2021.
e
Logic, Symbolic and mathematical. ;
Arieli, Ofer, ;
old catalog
