
[Progress in Computer Science and Applied Logic] Advances in Proof Theory Volume 28 || Machine-Checked Proof-Theory for Propositional Modal Logics
Kahle, Reinhard, Strahm, Thomas, Studer, ThomasVolume:
10.1007/97
Année:
2016
Langue:
english
DOI:
10.1007/978-3-319-29198-7_5
Fichier:
PDF, 792 KB
english, 2016