[
Back
]
Title | Domain: justification logic and structural proof theory |
Author | Alexander KASHEV |
Director of thesis | Prof. Dr. Gerhard Jäger |
Co-director of thesis | |
Summary of thesis | |
Status | |
Administrative delay for the defence | |
URL | |
Title | Domain: justification logic and structural proof theory |
Author | Alexander KASHEV |
Director of thesis | Prof. Dr. Gerhard Jäger |
Co-director of thesis | |
Summary of thesis | |
Status | |
Administrative delay for the defence | |
URL | |