Search (1 results, page 1 of 1)

  • × theme_ss:"Biographische Darstellungen"
  1. Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996) 10.31 
    10.310593 = weight(bk_ss:31.10 / Mathematische Logik / Mengenlehre in 5989) [ClassicSimilarity], result of:
  10.310593 = fieldWeight in 5989, product of:
    1.0 = tf(freq=1.0), with freq of:
      1.0 = termFreq=1.0
    10.310593 = idf(docFreq=3, maxDocs=44218)
    1.0 = fieldNorm(doc=5989)
    Bk
    31.10 / Mathematische Logik / Mengenlehre
    Classification
    31.10 / Mathematische Logik / Mengenlehre