Relational semantics for Belnap's "useful four-valued logic", and beyond: what Belnap should have said, but didn't
|
Wed, 01/02/2012 14:00 |
Hilary Priestley (Oxford) |
Analytic Topology in Mathematics and Computer Science  |
DH 1st floor SR |