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: Peter Jipsen 8 träffar
Titel | Författare | År | Språk | |
---|---|---|---|---|
1 | Residuated Lattices: An Algebraic Glimpse at Substructural Logics | Nikolaos; Jipsen Galatos | 2007 | Engelska |
2 | Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings | Peter. Höfner | 2014 | Engelska |
3-4 | Varieties of lattices (flera utgåvor) | Peter Jipsen | cop. 1992 | Engelska |
5-6 | Varieties of lattices / Peter Jipsen, Henry Rose (flera utgåvor) | Peter Jipsen | uuuu-uuuu | Okänt |
7 | Residuated Lattices: An Algebraic Glimpse at Substructural Logics (Studies in logic and the foundations of mathematics, 0049-237X v. 151) | Nikolaos Galatos | 2007 | Okänt |
8 | Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings | Peter Höfner | 2014 | 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.