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.22
    0.21682535 = product of:
      0.4336507 = sum of:
        0.4171545 = weight(_text_:logik in 3142) [ClassicSimilarity], result of:
          0.4171545 = score(doc=3142,freq=10.0), product of:
            0.24834694 = queryWeight, product of:
              6.7990475 = idf(docFreq=133, maxDocs=44218)
              0.036526725 = 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.016496222 = product of:
          0.049488667 = sum of:
            0.049488667 = weight(_text_:22 in 3142) [ClassicSimilarity], result of:
              0.049488667 = score(doc=3142,freq=2.0), product of:
                0.12791036 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.036526725 = 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.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