Cyrus F Nourani
"MIM and Morph Gentzen Logik"
[1996]
› Database Entry