Media type: Book Title: Symbolische Maschinen : die Idee der Formalisierung in geschichtlichem Abriß Contains: Literaturverzeichnis: Seite 205 - 223 Contributor: Krämer, Sybille [VerfasserIn] imprint: Darmstadt: Wissenschaftliche Buchgesellschaft, 1988 Extent: VIII, 227 Seiten; Illustrationen, Diagramme Language: German ISBN: 3534032071 RVK notation: SG 590 : Geschichte einzelner Probleme CC 2600 : Abhandlungen zur Logik und mathematischen Grundlagenforschung SR 800 : Geschichte der Datenverarbeitung Keywords: Formalisierung > Geschichte Formalisierung Origination: Footnote:
Branch Library of Education ans Pedagogy – open access area Shelf-mark: SG 590 K89 Item ID: 10004898 Status: Loanable