Search (1 results, page 1 of 1)

  • × classification_ss:"31.10 Mathematische Logik Mengenlehre"
  1. Parrochia, D.; Neuville, D.: Towards a general theory of classifications (2013) 0.01
    0.006508412 = product of:
      0.026033647 = sum of:
        0.026033647 = weight(_text_:und in 4100) [ClassicSimilarity], result of:
          0.026033647 = score(doc=4100,freq=4.0), product of:
            0.1502461 = queryWeight, product of:
              2.217899 = idf(docFreq=13141, maxDocs=44421)
              0.067742534 = queryNorm
            0.17327337 = fieldWeight in 4100, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              2.217899 = idf(docFreq=13141, maxDocs=44421)
              0.0390625 = fieldNorm(doc=4100)
      0.25 = coord(1/4)
    
    BK
    31.02 Philosophie und Wissenschaftstheorie der Mathematik
    Classification
    31.02 Philosophie und Wissenschaftstheorie der Mathematik