Normal view
MARC view
Ivo Düntsch, Edwin Mares (Personal Name)
Machine generated authority record
Work cat.: (OSt)1658178: Ivo Düntsch, Edwin Mares, Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs