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: R. O. Gandy 9 träffar
Titel | Författare | År | Språk | |
---|---|---|---|---|
1 | Mathematical logic | Alan Mathison Turing | 2001 | Engelska |
2-3 | Logic Colloquium '69 - Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969 (flera utgåvor) | 1971 | Engelska | |
4 | Logic colloquium 76 - proceedings of a conference held in Oxford in July 1976 | Logic colloquium 1976) (Oxford : | 1977 | Engelska |
5 | Mathematical Logic (Collected works of A.M. Turing) | Alan Mathison Turing | 2001 | Okänt |
6 | Logic Colloquium 76: Proceedings of a Conference Held in Oxford in July 1976 (Studies in logic and the foundations of mathematics v. 87) | John Martin Elliott. Hyland | 1977 | Okänt |
7 | Generalized recursion theory II : proceedings of the 1977 Oslo symposium | Jens Erik. Fenstad | 1978 | Okänt |
8 | Logic Colloquium 69 | C. E. M. Yates | 1971 | Okänt |
9 | Constructibility | R. O. Gandy | uuuu-uuuu | 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.