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