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: Lev D. Beklemishev 77 träffar

Titel Författare År Språk
61 Computer Science -- Theory and Applications Lev D. Beklemishev 2015 Okänt
62 Foundations of Set Theory Lev D. Beklemishev 1958 Okänt
63 Recursive Analysis Lev D. Beklemishev 1961 Okänt
64 Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings 2011 Okänt
65 Provability, Computability and Reflection Anatoliĭ Ivanovich Malʹt͡sev 1971 Engelska
66 Provability, Computability and Reflection Yiannis Nicholas Moschovakis 1974 Engelska
67-68 Provability, Computability and Reflection (flera utgåvor) Symposium on Generalized Recursion Theory 1978 Engelska
69 Provability, Computability and Reflection Summer School and Colloquium in Mathematical Logic 1971 Engelska
70 Provability, Computability and Reflection International Colloquium on Mathematical Logic and Foundations of Set Theory 1970 Engelska
71 Provability, Computability and Reflection Scandinavian Logic Symposium 1971 Engelska
72 Provability, Computability and Reflection Latin-American Symposium on Mathematical Logic 1977 Engelska
73 Provability, Computability and Reflection Logic Colloquium 1979 Engelska
74 Provability, Computability and Reflection Conference on Intuitionism and Proof Theory 1970 Engelska
75 Provability, Computability and Reflection M.E Szabo 1978 Engelska
76 Provability, Computability and Reflection Gaisi Takeuti 1975 Engelska
77 Provability, Computability and Reflection Petr Vopenka 1972 Engelska

Förra sidan 1 2 3 4

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.