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 N. Crossley 19 träffar

Titel Författare År Språk
1 Constructive Order Types John N. Crossley 1969 Okänt
2 Sets, Models and Recursion Theory John N. Crossley 1967 Okänt
3 First Australian conference on the history of mathematics - proceedings of a conference at Monash university, Clayton, Australia, 6 and 7 November, 1980 Australian Conference on the History of Mathematics Clayton : 1980) 1981 Engelska
4 Communities of learning: networks and the shaping of intellectual identity in Europe, 1100 - 1500 cop. 2011 Engelska
5 Combinatorial functors / J. N. Crossley and Anil Nerode John N. Crossley uuuu-uuuu Okänt
6 Constructive order types electronic resource John N. Crossley uuuu-uuuu Okänt
7 Constructive order types / John N. Crossley John N. Crossley uuuu-uuuu Okänt
8 The emergence of number John N. Crossley 1987 Engelska
9 Hernando de los Rios Coronel and the Spanish Philippines in the golden age / John Newsome Crossley John N. Crossley uuuu-uuuu Okänt
10 Hernando de los R?os Coronel and the Spanish Philippines in the golden age John N. Crossley 2011 Engelska
11 Hernando de los Ríos Coronel and the Spanish Philippines in the golden age John N Crossley 2011 Okänt
12 Sets, models and recursion theory electronic resource : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 John N. Crossley uuuu-uuuu Okänt
13 Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 John N. Crossley uuuu-uuuu Okänt
14 Logical Methods John N. Crossley 1993 Okänt
15 Adapting Proofs-as-programs: The Curry-Howard Protocol Iman Poernomo 2005 Okänt
16 Adapting proofs-as-programs - the Curry-Howard protocol Iman Hafiz Poernomo c2005 Engelska
17-19 What is mathematical logic? (flera utgåvor) 1990 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.