Search (3 results, page 1 of 1)

  1. Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen : Ein Beitrag zur Restrukturierung der mathematischen Logik (1998) 10.27
    10.26639 = weight(bk_ss:31.10 / Mathematische Logik / Mengenlehre in 4143) [ClassicSimilarity], result of:
      10.26639 = fieldWeight in 4143, product of:
        1.0 = tf(freq=1.0), with freq of:
          1.0 = termFreq=1.0
        10.26639 = idf(docFreq=3, maxDocs=42306)
        1.0 = fieldNorm(doc=4143)
    
    Bk
    31.10 / Mathematische Logik / Mengenlehre
    Classification
    31.10 / Mathematische Logik / Mengenlehre
  2. Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996) 10.27
    10.26639 = weight(bk_ss:31.10 / Mathematische Logik / Mengenlehre in 990) [ClassicSimilarity], result of:
      10.26639 = fieldWeight in 990, product of:
        1.0 = tf(freq=1.0), with freq of:
          1.0 = termFreq=1.0
        10.26639 = idf(docFreq=3, maxDocs=42306)
        1.0 = fieldNorm(doc=990)
    
    Bk
    31.10 / Mathematische Logik / Mengenlehre
    Classification
    31.10 / Mathematische Logik / Mengenlehre
  3. Hofstadter, D.R.: I am a strange loop (2007) 10.27
    10.26639 = weight(bk_ss:31.10 / Mathematische Logik / Mengenlehre in 2667) [ClassicSimilarity], result of:
      10.26639 = fieldWeight in 2667, product of:
        1.0 = tf(freq=1.0), with freq of:
          1.0 = termFreq=1.0
        10.26639 = idf(docFreq=3, maxDocs=42306)
        1.0 = fieldNorm(doc=2667)
    
    Bk
    31.10 / Mathematische Logik / Mengenlehre
    Classification
    31.10 / Mathematische Logik / Mengenlehre