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: John Newsome Crossley 10 träffar

Titel Författare År Språk
1 Sets, models and recursion theory - proceedings of the Summer school in mathematical logic and tenth logic colloquim, Leicester, August-September 1965 1967 Engelska
2 Formal systems and recursive functions - proceedings of the 8. Logic colloquium, Oxford, July 1963 1965 Engelska
3 Algebra and logic - papers from the 1974 Summer research institute of the Australian mathematical society, Monash university, Australia Australian mathematical society 1975 Engelska
4 Logical methods - in honor of Anil Nerode's sixtieth birthday 1993 Engelska
5 Constructive order types John Newsome Crossley 1969 Engelska
6 Adapting Proofs-as-Programs - The Curry-Howard Protocol Iman Hafiz. Poernomo 2005 Engelska
7 Algebra and Logic John Newsome Crossley 1975 Engelska
8 The Dasmariñases John Newsome Crossley 2016 Engelska
9 Hernando de Los Ríos Coronel and the Spanish Philippines in the Golden Age John Newsome Crossley 2011 Okänt
10 Hernando de los R?os Coronel and the Spanish Philippines in the golden age John N. Crossley 2011 Engelska

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.