Search (1 results, page 1 of 1)

  • × author_ss:"Gödel, K."
  • × year_i:[1930 TO 1940}
  1. Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I (1931) 0.00
    0.0022848265 = product of:
      0.034272395 = sum of:
        0.034272395 = weight(_text_:und in 5661) [ClassicSimilarity], result of:
          0.034272395 = score(doc=5661,freq=4.0), product of:
            0.061853286 = queryWeight, product of:
              2.216367 = idf(docFreq=13101, maxDocs=44218)
              0.027907511 = queryNorm
            0.55409175 = fieldWeight in 5661, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              2.216367 = idf(docFreq=13101, maxDocs=44218)
              0.125 = fieldNorm(doc=5661)
      0.06666667 = coord(1/15)
    
    Source
    Monatshefte für Mathematik und Physik. 38(1931), S.173-198