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: Richard A. Shore 8 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1-2 | Logic for applications (flera utgåvor) | Anil Nerode | cop. 1993 | Engelska |
| 3 | Recursion theory | 1985 | Engelska | |
| 4 | Logic for Applications | Richard A. Shore | 1997 | Okänt |
| 5 | Logical Methods | John N. Crossley | 1993 | Okänt |
| 6 | Computability theory and its applications | Peter A. Cholak | 2000 | Engelska |
| 7 | Computability Theory and Its Applications: Current Trends and Open Problems | Peter A. Cholak | 2000 | Okänt |
| 8 | Logic for Applications | Anil Nerode | 1993 | 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.