Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
著者
書誌事項
Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
（Outstanding contributions to logic, v. 22）
Springer, c2022
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references