Filter
Ihre Suche nach ead.keyword="Aussagenkalkül"
- 1
Universitäts- und Landesbibliothek Bonn ; Nachlass Hausdorff ; Signatur: NL Hausdorff : Kapsel 42: Fasz.739
[Varia] [Notizen, Skizzen, Studie]
Hausdorff, Felix (1868-1942) [Verfasser]
8 Bll.
- 2
Deutsches Museum, Archiv ; NL 207 Zuse, Konrad ; Signatur: NL 207/0221
Ansätze einer Theorie des allgemeinen Rechnens unter besonderer Berücksichtigung des Aussagenkalküls und dessen Anwendung auf Relaisschaltungen (Titel)
Zuse, Konrad [Verfasser]
ca. 1944. - 128 Bl. ms. mit hs. Abb.
- 3
Deutsches Museum, Archiv ; NL 207 Zuse, Konrad ; Signatur: NL 207/0997
Österreichische Patentschrift Nr. 172288: Vorrichtung zum Ableiten von Resultaten mittels Grundoperationen des Aussagenkalküls (für Zuse) (Titel)
25.08.1952. - 14 Bl. gedr.