Search (2 results, page 1 of 1)

  • × subject_ss:"Mathematische Logik"
  1. Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen : Ein Beitrag zur Restrukturierung der mathematischen Logik (1998) 0.23
    0.23038715 = product of:
      0.4607743 = sum of:
        0.44324628 = weight(_text_:logik in 3142) [ClassicSimilarity], result of:
          0.44324628 = score(doc=3142,freq=10.0), product of:
            0.2638803 = queryWeight, product of:
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.038811367 = queryNorm
            1.6797247 = fieldWeight in 3142, product of:
              3.1622777 = tf(freq=10.0), with freq of:
                10.0 = termFreq=10.0
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.078125 = fieldNorm(doc=3142)
        0.017528016 = product of:
          0.052584045 = sum of:
            0.052584045 = weight(_text_:22 in 3142) [ClassicSimilarity], result of:
              0.052584045 = score(doc=3142,freq=2.0), product of:
                0.1359108 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.038811367 = queryNorm
                0.38690117 = fieldWeight in 3142, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.078125 = fieldNorm(doc=3142)
          0.33333334 = coord(1/3)
      0.5 = coord(2/4)
    
    BK
    31.10 / Mathematische Logik / Mengenlehre
    Classification
    31.10 / Mathematische Logik / Mengenlehre
    Date
    26. 2.2008 15:58:22
    RSWK
    Mathematische Logik
    Subject
    Mathematische Logik
  2. Frege, G.: Logische Untersuchungen (1976) 0.11
    0.109697856 = product of:
      0.43879142 = sum of:
        0.43879142 = weight(_text_:logik in 4498) [ClassicSimilarity], result of:
          0.43879142 = score(doc=4498,freq=20.0), product of:
            0.2638803 = queryWeight, product of:
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.038811367 = 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