Search (1 results, page 1 of 1)

  1. Huber-Dyson, V.: Gödel's theorems : a workbook on formalization (1991) 11.01 
    11.008321 = weight(author_ss:Huber-Dyson, V. in 5730) [ClassicSimilarity], result of:
  11.008321 = fieldWeight in 5730, product of:
    1.0 = tf(freq=1.0), with freq of:
      1.0 = termFreq=1.0
    11.008321 = idf(docFreq=1, maxDocs=44421)
    1.0 = fieldNorm(doc=5730)
    Author
    Huber-Dyson, V.