Document (#14731)

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.4042296 = sum of:
     2.4042296 = product of:
       4.8084593 = sum of:
         4.8084593 = weight(author_txt:dyson in 4036) [ClassicSimilarity], result of:
           4.8084593 = score(doc=4036,freq=1.0), product of:
             0.7763635 = queryWeight, product of:
               1.1098491 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.070589535 = queryNorm
             6.1935673 = fieldWeight in 4036, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.625 = fieldNorm(doc=4036)
       0.5 = coord(1/2)
   

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

   2.4042296 = sum of:
     2.4042296 = product of:
       4.8084593 = sum of:
         4.8084593 = weight(author_txt:dyson in 5542) [ClassicSimilarity], result of:
           4.8084593 = score(doc=5542,freq=1.0), product of:
             0.7763635 = queryWeight, product of:
               1.1098491 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.070589535 = queryNorm
             6.1935673 = fieldWeight in 5542, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.625 = fieldNorm(doc=5542)
       0.5 = coord(1/2)
   

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

   2.4042296 = sum of:
     2.4042296 = product of:
       4.8084593 = sum of:
         4.8084593 = weight(author_txt:dyson in 1158) [ClassicSimilarity], result of:
           4.8084593 = score(doc=1158,freq=1.0), product of:
             0.7763635 = queryWeight, product of:
               1.1098491 = boost
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.070589535 = queryNorm
             6.1935673 = fieldWeight in 1158, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.909708 = idf(docFreq=5, maxDocs=44421)
               0.625 = fieldNorm(doc=1158)
       0.5 = coord(1/2)
   

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

   1.7586693 = sum of:
     1.7586693 = product of:
       3.5173385 = sum of:
         3.5173385 = weight(author_txt:huber in 3594) [ClassicSimilarity], result of:
           3.5173385 = score(doc=3594,freq=1.0), product of:
             0.6302854 = queryWeight, product of:
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.070589535 = queryNorm
             5.5805492 = fieldWeight in 3594, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.625 = fieldNorm(doc=3594)
       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.7586693 = sum of:
     1.7586693 = product of:
       3.5173385 = sum of:
         3.5173385 = weight(author_txt:huber in 4656) [ClassicSimilarity], result of:
           3.5173385 = score(doc=4656,freq=1.0), product of:
             0.6302854 = queryWeight, product of:
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.070589535 = queryNorm
             5.5805492 = fieldWeight in 4656, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.625 = fieldNorm(doc=4656)
       0.5 = coord(1/2)
   

Similar documents (content)

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

   1.2479855 = sum of:
     1.2479855 = product of:
       2.495971 = sum of:
         2.495971 = weight(title_txt:workbook in 6108) [ClassicSimilarity], result of:
           2.495971 = score(doc=6108,freq=1.0), product of:
             0.7454377 = queryWeight, product of:
               1.0575017 = boost
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.07894658 = queryNorm
             3.3483295 = fieldWeight in 6108, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.375 = fieldNorm(doc=6108)
       0.5 = coord(1/2)
   

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

   1.2479855 = sum of:
     1.2479855 = product of:
       2.495971 = sum of:
         2.495971 = weight(title_txt:workbook in 4368) [ClassicSimilarity], result of:
           2.495971 = score(doc=4368,freq=1.0), product of:
             0.7454377 = queryWeight, product of:
               1.0575017 = boost
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.07894658 = queryNorm
             3.3483295 = fieldWeight in 4368, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.375 = fieldNorm(doc=4368)
       0.5 = coord(1/2)
   

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

   1.2479855 = sum of:
     1.2479855 = product of:
       2.495971 = sum of:
         2.495971 = weight(title_txt:workbook in 5774) [ClassicSimilarity], result of:
           2.495971 = score(doc=5774,freq=1.0), product of:
             0.7454377 = queryWeight, product of:
               1.0575017 = boost
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.07894658 = queryNorm
             3.3483295 = fieldWeight in 5774, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.375 = fieldNorm(doc=5774)
       0.5 = coord(1/2)
   

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

   1.2479855 = sum of:
     1.2479855 = product of:
       2.495971 = sum of:
         2.495971 = weight(title_txt:workbook in 4839) [ClassicSimilarity], result of:
           2.495971 = score(doc=4839,freq=1.0), product of:
             0.7454377 = queryWeight, product of:
               1.0575017 = boost
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.07894658 = queryNorm
             3.3483295 = fieldWeight in 4839, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.375 = fieldNorm(doc=4839)
       0.5 = coord(1/2)
   

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

   1.2479855 = sum of:
     1.2479855 = product of:
       2.495971 = sum of:
         2.495971 = weight(title_txt:workbook in 3089) [ClassicSimilarity], result of:
           2.495971 = score(doc=3089,freq=1.0), product of:
             0.7454377 = queryWeight, product of:
               1.0575017 = boost
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.07894658 = queryNorm
             3.3483295 = fieldWeight in 3089, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.375 = fieldNorm(doc=3089)
       0.5 = coord(1/2)