Search (2 results, page 1 of 1)
-
×
classification_ss:"31.10 / Mathematische Logik / Mengenlehre"
-
×
language_ss:"e"
-
×
year_i:[1990 TO 2000}
- Did you mean:
- rvk_ss%3a%2200 74500 allgemeines %2f buch- und bibliothekswesen%2c informationswissenschaft %2f bibliothekswesen %2f kataloge%2c katalogisierung %2f titelaufnahme%2c katalogisierung im ausland %28.6 1%29 %2f international%2c allgemeines%22 2
- rvk_ss%3a%2200 74500 allgemeines %2f buch- und bibliothekswesen%2c informationswissenschaft %2f bibliothekswesen %2f kataloge%2c katalogisierung %2f titelaufnahme%2c katalogisierung im ausland %28.6 1%29 %2f international%2c allgemeinen%22 2
- rvk_ss%3a%2200 74500 allgemeines %2f buch- und bibliothekswesen%2c informationswissenschaft %2f bibliothekswesen %2f kataloge%2c katalogisierung %2f titelaufnahme%2c katalogisierungs im ausland %28.6 1%29 %2f international%2c allgemeines%22 2
- rvk_ss%3a%2200 74500 allgemeines %2f buch- und bibliothekswesen%2c informationswissenschaft %2f bibliothekswesen %2f kataloge%2c katalogisierung %2f titelaufnahmen%2c katalogisierung im ausland %28.6 1%29 %2f international%2c allgemeines%22 2
- rvk_ss%3a%2200 74500 allgemeines %2f buch- und bibliothekswesen%2c informationswissenschaft %2f bibliothekswesen %2f kataloge%2c katalogisierungs %2f titelaufnahme%2c katalogisierung im ausland %28.6 1%29 %2f international%2c allgemeines%22 2
-
Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996)
0.00
0.0044816434 = product of: 0.034359265 = sum of: 0.0171611 = weight(_text_:und in 5989) [ClassicSimilarity], result of: 0.0171611 = score(doc=5989,freq=10.0), product of: 0.052235067 = queryWeight, product of: 2.216367 = idf(docFreq=13101, maxDocs=44218) 0.023567878 = queryNorm 0.328536 = fieldWeight in 5989, product of: 3.1622777 = tf(freq=10.0), with freq of: 10.0 = termFreq=10.0 2.216367 = idf(docFreq=13101, maxDocs=44218) 0.046875 = fieldNorm(doc=5989) 0.012484257 = weight(_text_:im in 5989) [ClassicSimilarity], result of: 0.012484257 = score(doc=5989,freq=2.0), product of: 0.066621356 = queryWeight, product of: 2.8267863 = idf(docFreq=7115, maxDocs=44218) 0.023567878 = queryNorm 0.18739122 = fieldWeight in 5989, product of: 1.4142135 = tf(freq=2.0), with freq of: 2.0 = termFreq=2.0 2.8267863 = idf(docFreq=7115, maxDocs=44218) 0.046875 = fieldNorm(doc=5989) 0.0047139092 = product of: 0.0094278185 = sum of: 0.0094278185 = weight(_text_:1 in 5989) [ClassicSimilarity], result of: 0.0094278185 = score(doc=5989,freq=2.0), product of: 0.057894554 = queryWeight, product of: 2.4565027 = idf(docFreq=10304, maxDocs=44218) 0.023567878 = queryNorm 0.16284466 = fieldWeight in 5989, product of: 1.4142135 = tf(freq=2.0), with freq of: 2.0 = termFreq=2.0 2.4565027 = idf(docFreq=10304, maxDocs=44218) 0.046875 = fieldNorm(doc=5989) 0.5 = coord(1/2) 0.13043478 = coord(3/23)
- Abstract
- Die Biographie von Dawson, einem der Mitherausgeber der Gesammelten Werke Gödels, stützt sich auf ein intensives Studium des Nachlasses und zahlreiche Interviews mit Experten und Zeitgenossen Gödels. Sie verbindet eine umfassende Darstellung des persönlichen und kulturellen Hintergrundes mit einer integrierten Geschichte der Logik im 20. Jahrhundert, einer Geschichte, in der Gödel einer der Hauptdarsteller war
- Classification
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien / gm - go
- Isbn
- 1-56881-025-3
- RVK
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien / gm - go
-
Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen : Ein Beitrag zur Restrukturierung der mathematischen Logik (1998)
0.00
6.94157E-4 = product of: 0.01596561 = sum of: 0.01596561 = product of: 0.03193122 = sum of: 0.03193122 = weight(_text_:22 in 3142) [ClassicSimilarity], result of: 0.03193122 = score(doc=3142,freq=2.0), product of: 0.08253069 = queryWeight, product of: 3.5018296 = idf(docFreq=3622, maxDocs=44218) 0.023567878 = queryNorm 0.38690117 = fieldWeight in 3142, product of: 1.4142135 = tf(freq=2.0), with freq of: 2.0 = termFreq=2.0 3.5018296 = idf(docFreq=3622, maxDocs=44218) 0.078125 = fieldNorm(doc=3142) 0.5 = coord(1/2) 0.04347826 = coord(1/23)
- Date
- 26. 2.2008 15:58:22