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: Beklemishev;lev 76 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | Provability, Computability and Reflection | A.I. Arruda | 1980 | Engelska |
| 2 | Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings | Lev D. Beklemishev | 2011 | Engelska |
| 3 | Mathematical Interpretation of Formal Systems | Lev D. Beklemishev | 1955 | Okänt |
| 4-14 | Provability, Computability and Reflection (flera utgåvor) | Lev D. Beklemishev | 1980 | Engelska |
| 15 | Provability, Computability and Reflection | Beklemishev;lev | 1977 | Engelska |
| 16 | Computer Science -- Theory and Applications - 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings | 2015 | Engelska | |
| 17 | Provability, Computability and Reflection | William Craig | 1974 | Engelska |
| 18 | Computer Programming and Formal Systems | Lev D. Beklemishev | 1963 | Engelska |
| 19 | Constructive order types | Lev D. Beklemishev | 1969 | Engelska |
| 20 | Contributions to Non-Standard Analysis | Lev D. Beklemishev | 1972 | Engelska |
1 2 3 4 Nästa sida
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.