× Omega-Bibliography of Mathematical Logic / Proof Theory, Constructive Mathematicsherausgegeben von Gert H. Müller, Jane E. Kister, Dirk, van Dalen und Anne TroelstraMitwirkendeHerausgegeben vonGert H. MüllerHerausgegeben vonJane E. KisterHerausgegeben vonDirk, van DalenHerausgegeben vonAnne TroelstraBeiträge vonWolfgang Lenski