Document (#14732)

Author

Huber-Dyson, V.

Title

Gödel's theorems : a workbook on formalization

Imprint

Stuttgart : Teubner

Year

1991

Pages

292 S

Isbn

3-8154-2023-7

Series

Teubner-Texte zur Mathematik; 122

Similar documents (author)

1. Dyson, M.C.: How do you describe a symbol? : the problem involved in retrieving symbols from a database (1992) 2.40

   2.403216 = sum of:
     2.403216 = product of:
       4.806432 = sum of:
         4.806432 = weight(author_txt:dyson in 4037) [ClassicSimilarity], result of:
           4.806432 = score(doc=4037,freq=1.0), product of:
             0.7763949 = queryWeight, product of:
               1.1099055 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.070621446 = queryNorm
             6.190705 = fieldWeight in 4037, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.625 = fieldNorm(doc=4037)
       0.5 = coord(1/2)
   

2. Dyson, G.M.: Advances in classification (1955) 2.40

   2.403216 = sum of:
     2.403216 = product of:
       4.806432 = sum of:
         4.806432 = weight(author_txt:dyson in 5543) [ClassicSimilarity], result of:
           4.806432 = score(doc=5543,freq=1.0), product of:
             0.7763949 = queryWeight, product of:
               1.1099055 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.070621446 = queryNorm
             6.190705 = fieldWeight in 5543, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.625 = fieldNorm(doc=5543)
       0.5 = coord(1/2)
   

3. Dyson, G.: ¬Der geistige Vater des Computers (2012) 2.40

   2.403216 = sum of:
     2.403216 = product of:
       4.806432 = sum of:
         4.806432 = weight(author_txt:dyson in 158) [ClassicSimilarity], result of:
           4.806432 = score(doc=158,freq=1.0), product of:
             0.7763949 = queryWeight, product of:
               1.1099055 = boost
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.070621446 = queryNorm
             6.190705 = fieldWeight in 158, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.905128 = idf(docFreq=5, maxDocs=44218)
               0.625 = fieldNorm(doc=158)
       0.5 = coord(1/2)
   

4. Huber, C.: Web of science (1999) 1.76

   1.7576596 = sum of:
     1.7576596 = product of:
       3.515319 = sum of:
         3.515319 = weight(author_txt:huber in 3595) [ClassicSimilarity], result of:
           3.515319 = score(doc=3595,freq=1.0), product of:
             0.6302468 = queryWeight, product of:
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.070621446 = queryNorm
             5.5776863 = fieldWeight in 3595, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.625 = fieldNorm(doc=3595)
       0.5 = coord(1/2)
   

5. Huber, J.T.: Controlled vocabulary for HIV/AIDS : an evolving nosological record of a diseased body of knowledge (1996) 1.76

   1.7576596 = sum of:
     1.7576596 = product of:
       3.515319 = sum of:
         3.515319 = weight(author_txt:huber in 4588) [ClassicSimilarity], result of:
           3.515319 = score(doc=4588,freq=1.0), product of:
             0.6302468 = queryWeight, product of:
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.070621446 = queryNorm
             5.5776863 = fieldWeight in 4588, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.625 = fieldNorm(doc=4588)
       0.5 = coord(1/2)
   

Similar documents (content)

1. Ramsden, M.J.: PRECIS: a workbook for students of librarianship (1981) 1.24

   1.2422228 = sum of:
     1.2422228 = product of:
       2.4844456 = sum of:
         2.4844456 = weight(title_txt:workbook in 6109) [ClassicSimilarity], result of:
           2.4844456 = score(doc=6109,freq=1.0), product of:
             0.7423763 = queryWeight, product of:
               1.0526406 = boost
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.07902599 = queryNorm
             3.346612 = fieldWeight in 6109, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.375 = fieldNorm(doc=6109)
       0.5 = coord(1/2)
   

2. Studwell, W.; Loertscher, D.: Cataloging books : a workbook of examples (1989) 1.24

   1.2422228 = sum of:
     1.2422228 = product of:
       2.4844456 = sum of:
         2.4844456 = weight(title_txt:workbook in 4300) [ClassicSimilarity], result of:
           2.4844456 = score(doc=4300,freq=1.0), product of:
             0.7423763 = queryWeight, product of:
               1.0526406 = boost
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.07902599 = queryNorm
             3.346612 = fieldWeight in 4300, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.375 = fieldNorm(doc=4300)
       0.5 = coord(1/2)
   

3. Burke, J.: Learning the Internet : a workbook for beginners (1995) 1.24

   1.2422228 = sum of:
     1.2422228 = product of:
       2.4844456 = sum of:
         2.4844456 = weight(title_txt:workbook in 4774) [ClassicSimilarity], result of:
           2.4844456 = score(doc=4774,freq=1.0), product of:
             0.7423763 = queryWeight, product of:
               1.0526406 = boost
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.07902599 = queryNorm
             3.346612 = fieldWeight in 4774, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.375 = fieldNorm(doc=4774)
       0.5 = coord(1/2)
   

4. Saye, J.D.: Mannheimer's cataloging and classification : a workbook (1991) 1.24

   1.2422228 = sum of:
     1.2422228 = product of:
       2.4844456 = sum of:
         2.4844456 = weight(title_txt:workbook in 3839) [ClassicSimilarity], result of:
           2.4844456 = score(doc=3839,freq=1.0), product of:
             0.7423763 = queryWeight, product of:
               1.0526406 = boost
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.07902599 = queryNorm
             3.346612 = fieldWeight in 3839, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.375 = fieldNorm(doc=3839)
       0.5 = coord(1/2)
   

5. Lubas, R.L.; Jackson, A.S.; Schneider, I.: ¬The metadata manual : a practical workbook (2013) 1.24

   1.2422228 = sum of:
     1.2422228 = product of:
       2.4844456 = sum of:
         2.4844456 = weight(title_txt:workbook in 2089) [ClassicSimilarity], result of:
           2.4844456 = score(doc=2089,freq=1.0), product of:
             0.7423763 = queryWeight, product of:
               1.0526406 = boost
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.07902599 = queryNorm
             3.346612 = fieldWeight in 2089, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.375 = fieldNorm(doc=2089)
       0.5 = coord(1/2)