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: Erik Palmgren 58 träffar

Titel Författare År Språk
1 Parametrizations of domains Erik Palmgren 1987 Engelska
2 Domain interpretations of intuitionistic type theory Erik Palmgren 1989 Engelska
3 Grundutbildning för skidtränare - längdåkning, barmarksträning G4 : studieplan Hans Enqvist cop. 1988 Svenska
4 A domain interpretation of Martin-Löf's partial type theory with universes Erik Palmgren 1989 Engelska
5 Martin-Löf's type theory Erik Palmgren 1990 Engelska
6 Type-theoretic interpretation of iterated, strictly positive inductive definitions Erik Palmgren 1991 Engelska
7 Transfinite hierarchies of universes Erik Palmgren 1991 Engelska
8 On fixed point operators, inductive definitions and universes in Martin-Löf's type theory Erik Palmgren 1991 Engelska
9 A note on domain representability and formal topology Erik Palmgren 2007 Engelska
10 Peter Erik Wilhelm Palmgrens liv och samvaro med sina vänner framställt i hans egen diktning - En gengåva av vännerna på 60-årsdagen 14/9 1941 1941 Svenska
11 Non-standard models of constraint logic programs Erik Palmgren 1992 Engelska
12 A note on 'mathematics of infinity' Erik Palmgren 1992 Engelska
13 The Friedman-translation for Martin-Löf's type theory Erik Palmgren 1994 Engelska
14 A constructive approach to nonstandard analysis II Erik Palmgren 1994 Engelska
15 A logical presentation of the continuous functionals Erik Palmgren 1994 Engelska
16 A direct proof that certain reduced products are countably saturated Erik Palmgren 1994 Engelska
17 Denotational semantics of constraint logic programming - a nonstandard approach Erik Palmgren 1993 Engelska
18 Minimal models of Heyting arithmetic Ieke Moerdijk 1995 Engelska
19 A sheaf-theoretic foundation for nonstandard analysis Erik Palmgren 1995 Engelska
20 Logically presented domains Erik Palmgren 1995 Engelska

1 2 3 Nästa sida

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.