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: P. B. Andrews 6 träffar

Titel Författare År Språk
1 A Transfinite Type Theory with Type Variables P. B. Andrews 1965 Okänt
2 Reasoning in simple type theory - festschrift in honour of Peter B. Andrews on this 70th birthday 2008 Engelska
3 An introduction to mathematical logic and type theory - to truth through proof P. B. (Peter Bruce) Andrews 2010 Engelska
4 Bird song - biological themes and variations P. J. B. (university Of St Andrews Slater 2018 Engelska
5 A transfinite type theory with type variables electronic resource P.B. Andrews uuuu-uuuu Okänt
6 An introduction to mathematical logic and type theory : to truth through proof / by Peter B. Andrews P. B. 1937- author. (Peter Bruce) Andrews uuuu-uuuu 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.