Omega-Bibliography of Mathematical Logic V | lit.salon