Search (3 results, page 1 of 1)

  1. Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen : Ein Beitrag zur Restrukturierung der mathematischen Logik (1998) 10.31 
    10.310593 = weight(bk_ss:31.10 / Mathematische Logik / Mengenlehre in 3142) [ClassicSimilarity], result of:
  10.310593 = fieldWeight in 3142, 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=3142)
    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.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
  3. Hofstadter, D.R.: I am a strange loop (2007) 10.31 
    10.310593 = weight(bk_ss:31.10 / Mathematische Logik / Mengenlehre in 666) [ClassicSimilarity], result of:
  10.310593 = fieldWeight in 666, 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=666)
    Bk
    31.10 / Mathematische Logik / Mengenlehre
    Classification
    31.10 / Mathematische Logik / Mengenlehre

Authors

Years

Themes

Subjects

Classifications