Normal view
MARC view
Nonclassical mathematical logic (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): Algebraic and proof-theoretic aspects of non-classical logics :, ©2007.