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 13 träffar

Titel Författare År Språk
1-2 Mathematical logic (flera utgåvor) Alan Mathison Turing 2001 Engelska
3 Provability, Computability and Reflection Beklemishev;lev 1977 Engelska
4 Generalized recursion theory II : proceedings of the 1977 Oslo symposium Jens Erik. Fenstad 1978 Okänt
5 Constructibility R. O. Gandy uuuu-uuuu 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-8 Logic Colloquium '69 - Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969 (flera utgåvor) 1971 Engelska
9 Logic colloquium 76 - proceedings of a conference held in Oxford in July 1976 Logic colloquium 1976) (Oxford : 1977 Engelska
10 Provability, Computability and Reflection Summer School and Colloquium in Mathematical Logic 1971 Engelska
11 Provability, Computability and Reflection Symposium on Generalized Recursion Theory 1978 Engelska
12 Mathematical Logic (Collected works of A.M. Turing) Alan Mathison Turing 2001 Okänt
13 Logic Colloquium 69 C. E. M. Yates 1971 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.