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 60 träffar

Titel Författare År Språk
41 A note on 'mathematics of infinity' Erik Palmgren 1992 Engelska
42 Oavgörbara problem i elementär aritmetik Erik Palmgren 2002 Engelska
43 On fixed point operators, inductive definitions and universes in Martin-Löf's type theory Erik Palmgren 1991 Engelska
44 On universes in type theory Erik Palmgren 1996 Engelska
45 Open sublocales of localic completions Erik Palmgren 2009 Engelska
46 Parametrizations of domains Erik Palmgren 1987 Engelska
47 Partial Horn logic and cartesian categories Erik Palmgren 2005 Engelska
48 Predicativity problems in point-free topology Erik Palmgren 2003 Engelska
49 Real numbers in the topos of sheaves over the category of filters Erik Palmgren 1999 Svenska
50 Regular universes and formal spaces Erik Palmgren 2002 Engelska
51 Resolution of the uniform lower bound problem in constructive analysis Erik Palmgren 2007 Engelska
52 A sheaf-theoretic foundation for nonstandard analysis Erik Palmgren 1995 Engelska
53 Sheaf-theoretic nonstandard analysis - constructive aspects Erik Palmgren 1996 Engelska
54 Topics in domain theory and point-free topology Erik Palmgren 2002 Engelska
55 Transfinite hierarchies of universes Erik Palmgren 1991 Engelska
56 Type-theoretic interpretation of iterated, strictly positive inductive definitions Erik Palmgren 1991 Engelska
57 Unifying constructive and nonstandard analysis Erik Palmgren 1999 Engelska
58 Värdering av börsnoterade kunskapsföretag i den nya ekonomin Erik Palmgren 2002 Svenska
59 Interactive Multiobjective Optimization for 3D HDR Brachytherapy Applying IND-NIMBUS September 2008 UK Portsmouth The 8th International Conference on Multi-Objective and Goal Programming (MOPGP08) Jan-Erik Palmgren 2010 Engelska
60 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

Förra sidan 1 2 3

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.