Search (1 results, page 1 of 1)

  • × classification_ss:"31.01 / Geschichte der Mathematik"
  • × theme_ss:"Biographische Darstellungen"
  1. Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996) 0.01
    0.0076358644 = product of:
      0.015271729 = sum of:
        0.015271729 = product of:
          0.030543458 = sum of:
            0.030543458 = weight(_text_:j in 5989) [ClassicSimilarity], result of:
              0.030543458 = score(doc=5989,freq=2.0), product of:
                0.14500295 = queryWeight, product of:
                  3.1774964 = idf(docFreq=5010, maxDocs=44218)
                  0.045634337 = queryNorm
                0.21064025 = fieldWeight in 5989, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  3.1774964 = idf(docFreq=5010, maxDocs=44218)
                  0.046875 = fieldNorm(doc=5989)
          0.5 = coord(1/2)
      0.5 = coord(1/2)