Deduktion für Fremdnutzer


Principal Investigators
Wolter, Helmut Prof. Dr. sc. (Details) (Mathematical Logic I)

Duration of Project
Start date: 06/1996
End date: 10/1998

Last updated on 2020-10-03 at 23:15