Search (2 results, page 1 of 1)
-
×
year_i:[1990 TO 2000}
-
Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen : Ein Beitrag zur Restrukturierung der mathematischen Logik (1998)
10.32
10.315173 = weight(bk_ss:31.10 / Mathematische Logik / Mengenlehre in 4142) [ClassicSimilarity], result of: 10.315173 = fieldWeight in 4142, product of: 1.0 = tf(freq=1.0), with freq of: 1.0 = termFreq=1.0 10.315173 = idf(docFreq=3, maxDocs=44421) 1.0 = fieldNorm(doc=4142)
- Bk
- 31.10 / Mathematische Logik / Mengenlehre
- Classification
- 31.10 / Mathematische Logik / Mengenlehre
-
Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996)
10.32
10.315173 = weight(bk_ss:31.10 / Mathematische Logik / Mengenlehre in 989) [ClassicSimilarity], result of: 10.315173 = fieldWeight in 989, product of: 1.0 = tf(freq=1.0), with freq of: 1.0 = termFreq=1.0 10.315173 = idf(docFreq=3, maxDocs=44421) 1.0 = fieldNorm(doc=989)
- Bk
- 31.10 / Mathematische Logik / Mengenlehre
- Classification
- 31.10 / Mathematische Logik / Mengenlehre
Authors
Subjects
Classifications
- 31.10 / Mathematische Logik / Mengenlehre 2
- 193 B / dc21 1
- 31.01 / Geschichte der Mathematik 1
- Mat A 291 / Gödelscher Unvollständigkeitssatz 1
- QA29.G58D39 1997 1
- SG 174 Mathematik / Biographien, Geschichte und Philosophie der Mathematik / Biographien / Einzelbiographien / gm - go 1
- TASG (DU) 1
- a a Gödel, Kurt / <66> 1
- More… Less…