Search (1 results, page 1 of 1)

  • × classification_ss:"31.01 / Geschichte der Mathematik"
  • × subject_ss:"Gödel, Kurt / Mathematische Logik (GBV)"
  1. Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996) 0.04
    0.0367924 = product of:
      0.183962 = sum of:
        0.091981 = weight(_text_:philosophie in 5989) [ClassicSimilarity], result of:
          0.091981 = score(doc=5989,freq=4.0), product of:
            0.18517867 = queryWeight, product of:
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.034950633 = queryNorm
            0.4967149 = fieldWeight in 5989, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.046875 = fieldNorm(doc=5989)
        0.091981 = weight(_text_:philosophie in 5989) [ClassicSimilarity], result of:
          0.091981 = score(doc=5989,freq=4.0), product of:
            0.18517867 = queryWeight, product of:
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.034950633 = queryNorm
            0.4967149 = fieldWeight in 5989, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              5.298292 = idf(docFreq=600, maxDocs=44218)
              0.046875 = fieldNorm(doc=5989)
      0.2 = coord(2/10)
    
    Classification
    SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien / gm - go
    RVK
    SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien / gm - go