Omega-Bibliography of Mathematical Logic IV | lit.salon