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: H. P. Barendregt 6 träffar
Titel | Författare | År | Språk | |
---|---|---|---|---|
1 | Lambda Calculus: Its Syntax and Semantics (Studies in logic and the foundations of mathematics v. 103) | H. P. Barendregt | 1981 | Okänt |
2 | On the interpretation of terms without a normal form - (preliminary version) | H. P. Barendregt | 1971 | Engelska |
3 | Lambda calculus with types | H. P Barendregt | 2013 | Okänt |
4 | The lambda calculus - its syntax and semantics | H. P. (Hendrik Pieter) Barendregt | c2012 | Engelska |
5 | The lambda calculus electronic resource : its syntax and semantics / H.P. Barendregt | H. P. (Hendrik Pieter) Barendregt | uuuu-uuuu | Okänt |
6 | A lambda calculus satellite | H. P. (Hendrik Pieter) Barendregt | 2022 | 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.