[Omega]--bibliography of mathematical logic | lit.salon