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: Jean-Yves Girard 13 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | Proof theory and logical complexity | Jean-Yves Girard | 1987- | Engelska |
| 2-3 | Proof theory and logical complexity Vol. 1 (flera utgåvor) | Jean-Yves Girard | cop. 1987 | Engelska |
| 4 | Proofs and types | Jean-Yves Girard | 1989 | Engelska |
| 5 | Advances in linear logic | 1995 | Engelska | |
| 6-7 | Typed lambda calculi and applications - 4th International Conference, TLCA '99, L'Aquila, Italy, April 7 - 9, 1999 (flera utgåvor) | International Conference on Typed Lambda Calculi and Applications 1999) L'Aquila : | cop. 1999 | Engelska |
| 8-9 | Advances in Linear Logic (flera utgåvor) | 1995 | Okänt | |
| 10 | Linear Logic in Computer Science | 2004 | Engelska | |
| 11 | Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99 L'Aquila, Italy, April 79, 1999 Proceedings | Jean-Yves Girard | uuuu-uuuu | Okänt |
| 12 | Linear Logic in Computer Science | 2004 | Okänt | |
| 13 | Mathematical logic in the 20th century | 2003 | 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.