author_ss:"Penrose, R."
classification_ss:"ST 300"
classification_ss:"UB 6000"
subject_ss:"Gödelscher Unvollständigkeitssatz"
year_i:[1990 TO 2000}
1.0 = *:*, product of: 1.0 = boost 1.0 = queryNorm