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

Titel Författare År Språk
1 Intuitionistic choice and classical logic Thierry Coquand 1997 Engelska
2 Metric Boolean algebras and constructive measure theory Thierry Coquand 2000 Engelska
3 Grundutbildning för skidtränare - längdåkning, barmarksträning G4 : studieplan Hans Enqvist cop. 1988 Svenska
4 Epistemology versus ontology - essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf c2012 Engelska
5 Epistemology versus Ontology : Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf 2012 Okänt
6 Delrapport 1 inom projektet:Stora Förvar, en regional eller interregional stenålderslokal? Palmgren Erik 2015 Svenska
7 Lichenes Scaniae, quorum enumerationem inchoatam venia ampliss. fac. philosoph. Ups., praeside Elia Fries ... p. p. Ericus Gustavus Palmgren Uplando-Roslagus. In audit. Gustav. d. XVIII Maji MDCCCXXXVI. H. a. m. s Topograph. stirp. Scanic. part. XVIII Elias Fries 1836 Latin
8 Effective Domains and Admissible Domain Representations Göran Hamrin 2005 Engelska
9 Logicism, Intuitionism, and Formalism - What has Become of Them? Sten Lindström 2009 Engelska
10 Logicism, intuitionism, and formalism - what has become of them? 2009 Engelska
11 Logicism, Intuitionism, and Formalism: What Has Become of Them? (Synthese library : studies in epistemology, logic, methodology, and philosophy of v. 341) 2009 Okänt
12 Minimal models of Heyting arithmetic Ieke Moerdijk 1995 Engelska
13 Type theories, toposes and constructive set theory predicative as pects of AST Ieke Moerdijk 2000 Engelska
14 Wellfounded trees in categories Ieke Moerdijk 1998 Engelska
15 Hyperfinite type structures Dag Normann 1997 Engelska
16 A note on Brouwer’s weak continuity principle and the transfer principle in nonstandard analysis Erik Palmgren 2011 Engelska
17 Apartness and formal topology Erik Palmgren 2004 Engelska
18 A constructive and functorial embedding of locally compact metric spaces into locales Erik Palmgren 2006 Engelska
19 A constructive approach to nonstandard analysis Erik Palmgren 1993 Engelska
20 A constructive approach to nonstandard analysis II Erik Palmgren 1994 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.