1 - Einführung in die operative Logik und MathematikLorenzen, Paul (1915-1994)Cote : [05 LOR 55]
2 - Five papers on logic and foundationsCeitin, G. S. / Idel'son, A. V. / Vorobʹëv, Nikolaj Nikolaevič (1925-1995)Cote : [05 CEI 72]
