subject_ss:"Logic, Symbolic and mathematical"
subject_ss:"Mathematische Logik"
1.0 = *:*, product of: 1.0 = boost 1.0 = queryNorm