Sökning: "E Wilander"

Hittade 2 avhandlingar innehållade orden E Wilander.

1. 1. On Constructive Sets and Partial Structures

   Författare :Olov Wilander; Erik Palmgren; Viggo Stoltenberg-Hansen; Bas Spitters; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematical Logic; Matematisk logik;

   Sammanfattning : The first three papers in this thesis study the formalisation of a set in type theory as a data type with an equivalence relation – an object usually known as a setoid. The corresponding formalisation of a locally small category is called an E-category. LÄS MER

3. 2. Om inflammation i luftstrupen. Academisk afhandling, med ... medicinska facultetens i Upsala tillstånd, under inseende af ... Israel Hwasser ... för medicinska gradens erhållande utgifven af Nils August Wilander Stockholmare. Helmfeldtsk Stipendiat. På Medic. Auditorium den 9 November 1836. p. v. t. e. m. 4 delen

   Författare :Israel Hwasser; Nils August Wilander; Israel Hwasser; Uppsala universitet; []
   Nyckelord :;

   Sammanfattning : .... LÄS MER