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 9 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

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.