Search (1 results, page 1 of 1)
-
×
classification_ss:"31.10 / Mathematische Logik / Mengenlehre"
-
×
theme_ss:"Biographische Darstellungen"
-
×
year_i:[1990 TO 2000}
- Did you mean:
- precises%3a%20libraries %2f applications of microcomputer systems %2f software packages%22 1
- precises%3a%20libraries %2f applications of microcomputer systems %2f software packaged%22 1
- precises%3a%20libraries %2f applications of microcomputers systems %2f software packages%22 1
- precises%3a%20libraries %2f applications of microcomputer systems %2f software packagers%22 1
- precises%3a%20libraries %2f applications of mikrocomputer systems %2f software packages%22 1
-
Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996)
0.00
7.0563547E-4 = product of: 0.0063507194 = sum of: 0.0063507194 = weight(_text_:of in 5989) [ClassicSimilarity], result of: 0.0063507194 = score(doc=5989,freq=2.0), product of: 0.061262865 = queryWeight, product of: 1.5637573 = idf(docFreq=25162, maxDocs=44218) 0.03917671 = queryNorm 0.103663445 = fieldWeight in 5989, product of: 1.4142135 = tf(freq=2.0), with freq of: 2.0 = termFreq=2.0 1.5637573 = idf(docFreq=25162, maxDocs=44218) 0.046875 = fieldNorm(doc=5989) 0.11111111 = coord(1/9)