1 - BeweistheorieSchütte, Kurt (1909-1998)Cote : [05 SCHU 60]
2 - Vollständige Systeme modaler und intuitionistischer LogikSchütte, Kurt (1909-1998)Cote : [05 SCHU 68]