Search (1 results, page 1 of 1)

  • × subject_ss:"Proof theory"
  • × classification_ss:"31.01 / Geschichte der Mathematik"
  1. Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007) 0.02
    0.015813518 = product of:
      0.09488111 = sum of:
        0.09488111 = weight(_text_:geschichte in 303) [ClassicSimilarity], result of:
          0.09488111 = score(doc=303,freq=8.0), product of:
            0.18068628 = queryWeight, product of:
              4.7528 = idf(docFreq=1036, maxDocs=44218)
              0.038016807 = queryNorm
            0.5251152 = fieldWeight in 303, product of:
              2.828427 = tf(freq=8.0), with freq of:
                8.0 = termFreq=8.0
              4.7528 = idf(docFreq=1036, maxDocs=44218)
              0.0390625 = fieldNorm(doc=303)
      0.16666667 = coord(1/6)
    
    BK
    31.01 / Geschichte der Mathematik
    Classification
    SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien
    31.01 / Geschichte der Mathematik
    RVK
    SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien