Speaker
Agata Tomczyk
Talks at this conference:
| Wed, 16:30 | Propositional identity. From semantics to proof theory. Live |
| Fri, 16:50 | Sequent Calculus for non-Fregean Boolean theory WB. Live |
Speaker
| Wed, 16:30 | Propositional identity. From semantics to proof theory. Live |
| Fri, 16:50 | Sequent Calculus for non-Fregean Boolean theory WB. Live |