Search (2 results, page 1 of 1)

  • × subject_ss:"Logic, Symbolic and mathematical"
  1. Parrochia, D.; Neuville, D.: Towards a general theory of classifications (2013) 0.07
    0.06608888 = product of:
      0.21148442 = sum of:
        0.024344258 = product of:
          0.048688516 = sum of:
            0.048688516 = weight(_text_:mathematik in 3100) [ClassicSimilarity], result of:
              0.048688516 = score(doc=3100,freq=4.0), product of:
                0.111489825 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.019944998 = queryNorm
                0.43670815 = fieldWeight in 3100, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0390625 = fieldNorm(doc=3100)
          0.5 = coord(1/2)
        0.109603584 = weight(_text_:mathematische in 3100) [ClassicSimilarity], result of:
          0.109603584 = score(doc=3100,freq=8.0), product of:
            0.14066203 = queryWeight, product of:
              7.0524964 = idf(docFreq=103, maxDocs=44218)
              0.019944998 = queryNorm
            0.7791981 = fieldWeight in 3100, product of:
              2.828427 = tf(freq=8.0), with freq of:
                8.0 = termFreq=8.0
              7.0524964 = idf(docFreq=103, maxDocs=44218)
              0.0390625 = fieldNorm(doc=3100)
        0.024344258 = product of:
          0.048688516 = sum of:
            0.048688516 = weight(_text_:mathematik in 3100) [ClassicSimilarity], result of:
              0.048688516 = score(doc=3100,freq=4.0), product of:
                0.111489825 = queryWeight, product of:
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.019944998 = queryNorm
                0.43670815 = fieldWeight in 3100, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  5.5898643 = idf(docFreq=448, maxDocs=44218)
                  0.0390625 = fieldNorm(doc=3100)
          0.5 = coord(1/2)
        0.048688516 = weight(_text_:mathematik in 3100) [ClassicSimilarity], result of:
          0.048688516 = score(doc=3100,freq=4.0), product of:
            0.111489825 = queryWeight, product of:
              5.5898643 = idf(docFreq=448, maxDocs=44218)
              0.019944998 = queryNorm
            0.43670815 = fieldWeight in 3100, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              5.5898643 = idf(docFreq=448, maxDocs=44218)
              0.0390625 = fieldNorm(doc=3100)
        0.0045037866 = product of:
          0.01351136 = sum of:
            0.01351136 = weight(_text_:22 in 3100) [ClassicSimilarity], result of:
              0.01351136 = score(doc=3100,freq=2.0), product of:
                0.069843985 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.019944998 = queryNorm
                0.19345059 = fieldWeight in 3100, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.0390625 = fieldNorm(doc=3100)
          0.33333334 = coord(1/3)
      0.3125 = coord(5/16)
    
    BK
    31.10 Mathematische Logik Mengenlehre
    31.11 Ordnungen allgemeine mathematische Systeme
    31.02 Philosophie und Wissenschaftstheorie der Mathematik
    Classification
    31.10 Mathematische Logik Mengenlehre
    31.11 Ordnungen allgemeine mathematische Systeme
    31.02 Philosophie und Wissenschaftstheorie der Mathematik
    Date
    8. 9.2016 22:04:09
  2. Frege, G.: Logische Untersuchungen (1976) 0.02
    0.021256324 = product of:
      0.17005059 = sum of:
        0.06154857 = weight(_text_:100 in 4498) [ClassicSimilarity], result of:
          0.06154857 = score(doc=4498,freq=4.0), product of:
            0.1059417 = queryWeight, product of:
              5.3116927 = idf(docFreq=592, maxDocs=44218)
              0.019944998 = queryNorm
            0.5809664 = fieldWeight in 4498, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              5.3116927 = idf(docFreq=592, maxDocs=44218)
              0.0546875 = fieldNorm(doc=4498)
        0.108502015 = weight(_text_:mathematische in 4498) [ClassicSimilarity], result of:
          0.108502015 = score(doc=4498,freq=4.0), product of:
            0.14066203 = queryWeight, product of:
              7.0524964 = idf(docFreq=103, maxDocs=44218)
              0.019944998 = queryNorm
            0.7713668 = fieldWeight in 4498, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              7.0524964 = idf(docFreq=103, maxDocs=44218)
              0.0546875 = fieldNorm(doc=4498)
      0.125 = coord(2/16)
    
    Classification
    100
    Ddc
    100
    DDC
    100
    RSWK
    Mathematische Logik
    Subject
    Mathematische Logik