Scholarship for a PhD-student

We offer a scholarship for a PhD-student in a project funded by NCN: „Distributive Deductive Systems for Classical and Non-classical Logics. Proof theory supported with computational methods”. The qualifications required: – advanced...
Skip to content