Forskargrupp Matematisk logik

I matematisk logik studeras matematiska resonemang i sina olika exakta former. Forskargruppen i matematisk logik är aktiv inom flera delar av området, inklusive konstruktiv matematik, typteori och kategoriteoretisk logik, samt de filosofiska aspekterna av logik och matematik.


Det finns inga kopplade forskningsprojekt.

Inga nyheter tillgängliga.
Inga evenemang tillgängliga.

Vi använder kakor

Genom att tillåta tjänster från tredje part accepterar du deras cookies och användningen av spårningsteknologier som är nödvändiga för att de ska fungera korrekt.