Search (2 results, page 1 of 1)

  • × subject_ss:"Logicians / Austria / Biography"
  1. Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996) 0.07
    0.067306966 = product of:
      0.23557436 = sum of:
        0.11998113 = weight(_text_:united in 5989) [ClassicSimilarity], result of:
          0.11998113 = score(doc=5989,freq=4.0), product of:
            0.22812355 = queryWeight, product of:
              5.6101127 = idf(docFreq=439, maxDocs=44218)
              0.04066292 = queryNorm
            0.52594805 = fieldWeight in 5989, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              5.6101127 = idf(docFreq=439, maxDocs=44218)
              0.046875 = fieldNorm(doc=5989)
        0.11559323 = weight(_text_:states in 5989) [ClassicSimilarity], result of:
          0.11559323 = score(doc=5989,freq=4.0), product of:
            0.22391328 = queryWeight, product of:
              5.506572 = idf(docFreq=487, maxDocs=44218)
              0.04066292 = queryNorm
            0.5162411 = fieldWeight in 5989, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              5.506572 = idf(docFreq=487, maxDocs=44218)
              0.046875 = fieldNorm(doc=5989)
      0.2857143 = coord(2/7)
    
    LCSH
    Logicians / United States / Biography
    Subject
    Logicians / United States / Biography
  2. Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007) 0.06
    0.05608914 = product of:
      0.19631198 = sum of:
        0.09998428 = weight(_text_:united in 303) [ClassicSimilarity], result of:
          0.09998428 = score(doc=303,freq=4.0), product of:
            0.22812355 = queryWeight, product of:
              5.6101127 = idf(docFreq=439, maxDocs=44218)
              0.04066292 = queryNorm
            0.43829006 = fieldWeight in 303, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              5.6101127 = idf(docFreq=439, maxDocs=44218)
              0.0390625 = fieldNorm(doc=303)
        0.0963277 = weight(_text_:states in 303) [ClassicSimilarity], result of:
          0.0963277 = score(doc=303,freq=4.0), product of:
            0.22391328 = queryWeight, product of:
              5.506572 = idf(docFreq=487, maxDocs=44218)
              0.04066292 = queryNorm
            0.43020093 = fieldWeight in 303, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              5.506572 = idf(docFreq=487, maxDocs=44218)
              0.0390625 = fieldNorm(doc=303)
      0.2857143 = coord(2/7)
    
    LCSH
    Logicians / United States / Biography
    Subject
    Logicians / United States / Biography