Search (2 results, page 1 of 1)

  • × subject_ss:"Logic, Symbolic and mathematical"
  1. Frege, G.: Logische Untersuchungen (1976) 0.10
    0.10324047 = product of:
      0.41296187 = sum of:
        0.41296187 = weight(_text_:logik in 4498) [ClassicSimilarity], result of:
          0.41296187 = score(doc=4498,freq=20.0), product of:
            0.24834694 = queryWeight, product of:
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.036526725 = queryNorm
            1.6628426 = fieldWeight in 4498, product of:
              4.472136 = tf(freq=20.0), with freq of:
                20.0 = termFreq=20.0
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.0546875 = fieldNorm(doc=4498)
      0.25 = coord(1/4)
    
    BK
    08.33 (Logik) <Philosophie>
    Classification
    08.33 (Logik) <Philosophie>
    Content
    Enthält die Beiträge: Der Gedanke - Die Verneinung - Gedankengefüge - E. Schröders Vorlesungen über die Algebra der Logik - Über die Zahlen des Herrn H. Schubert - Die wichtigsten entsprechenden Ausführungen in Freges aneren Schriften.
    Field
    Logik
    RSWK
    Mathematische Logik
    Logik
    Logik / Aufsatzsammlung
    Subject
    Mathematische Logik
    Logik
    Logik / Aufsatzsammlung
  2. Parrochia, D.; Neuville, D.: Towards a general theory of classifications (2013) 0.07
    0.07008197 = product of:
      0.14016394 = sum of:
        0.13191584 = weight(_text_:logik in 3100) [ClassicSimilarity], result of:
          0.13191584 = score(doc=3100,freq=4.0), product of:
            0.24834694 = queryWeight, product of:
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.036526725 = queryNorm
            0.5311756 = fieldWeight in 3100, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.0390625 = fieldNorm(doc=3100)
        0.008248111 = product of:
          0.024744334 = sum of:
            0.024744334 = weight(_text_:22 in 3100) [ClassicSimilarity], result of:
              0.024744334 = score(doc=3100,freq=2.0), product of:
                0.12791036 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.036526725 = 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.5 = coord(2/4)
    
    BK
    31.10 Mathematische Logik Mengenlehre
    Classification
    31.10 Mathematische Logik Mengenlehre
    Date
    8. 9.2016 22:04:09