Omega-Bibliography Of Mathematical Logic by Heinz-Dieter Ebbinghaus, Peter G. Hinman & Gert H. Muller