This page in English

Peter LeFanu LumsdaineUniversitetslektor

This page in English

Kontakt

Namn och titel: Peter LeFanu Lumsdaine Universitetslektor

p.l.lumsdaine@math.su.se

08-16 14 66

Arbetsplats: Matematiska institutionen

Besöksadress

Rum E1351

Albano hus 1

Postadress

Matematik

106 91 Stockholm

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.

Redigera profilen

This page in English

Kontakt

Namn och titel: Peter LeFanu Lumsdaine Universitetslektor

p.l.lumsdaine@math.su.se

08-16 14 66

Arbetsplats: Matematiska institutionen

Besöksadress

Rum E1351

Albano hus 1

Postadress

Matematik

106 91 Stockholm

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.