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: Katalin Bimbo 9 träffar
Titel | Författare | År | Språk | |
---|---|---|---|---|
1-2 | Combinatory logic - pure, applied and typed (flera utgåvor) | Katalin Bimbó | 2012 | Engelska |
3-4 | Proof theory - sequent calculi and related formalisms (flera utgåvor) | Katalin Bimbo | 2015 | Engelska |
5 | J. Michael Dunn on Information Based Logics | 2016 | Engelska | |
6 | Mathematical Logic | Katalin Bimbo | 2017 | Engelska |
7 | Generalized Galois logics - relational semantics of nonclassical logical calculi | Katalin Bimbó | 2008 | Engelska |
8 | Combinatory logic : pure, applied and typed / Katalin Bimbo | Katalin Bimbo | uuuu-uuuu | Okänt |
9 | Proof theory : sequent calculi and related formalisms / Katalin Bimbo, University of Alberta Edmonton, Canada | Katalin Bimbo | uuuu-uuuu | Okänt |
1
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.