Schmitt, Stephan.

Overview

Works:	8 works in 1 publications in 1 languages

Titles

Proof reconstruction in classical and non-classical logics / by: Schmitt, Stephan. (Language materials, printed)

Subjects