Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!
Sökning efter: Helmut Schwichtenberg 27 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 21 | Proof and computation - digitization in mathematics, computer science and philosophy | 2018 | Engelska | |
| 22 | Proof and computation II - from proof theory and univalent mathematics to program extraction and verification | 2022 | Engelska | |
| 23 | Proofs and computations / Helmut Schwichtenberg, Stanley S. Wainer | Helmut Schwichtenberg | uuuu-uuuu | Okänt |
| 24 | Proofs and computations / Helmut Schwichtenberg, Stanley S. Wainer. electronic resource | Helmut Schwichtenberg | uuuu-uuuu | Okänt |
| 25 | Handbook of constructive mathematics | 2023 | Engelska | |
| 26 | Logic and Algebra of Specification | 1993 | Okänt | |
| 27 | Logic of Computation | 1997 | Okänt |
Förra sidan 1 2
Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.