Skip to content
View feffemannen's full-sized avatar
4 followers · 1 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Block or report feffemannen

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
feffemannen/README.md

I'm a Senior Lecturer and Docent in Logic.

I did my PhD in Mathematics at the University of Birmingham and Chalmers University of Technology in 2004 with a thesis on mathematical logic and models of Peano's arithmetic, under supervision of Richard W. Kaye. After which I worked as a Senior Lecturer at the Mid Sweden University in Sundsvall before moving to the University of Gothenburg in 2006. Between 2016 and 2021 I served as the Head of the Department of Philosophy, Linguistics and Theory of Science.

Popular repositories Loading

  1. LogicalTheory LogicalTheory Public

    Forked from OpenLogicProject/OpenLogic

    An open-source, customizable intermediate logic textbook

    TeX 3 3

  2. feffemannen.github.io feffemannen.github.io Public

    HTML

  3. Logic-GU Logic-GU Public

    Forked from greleigh/Logic-GU

    Homepage for the Logic group at the University of Gothenburg

    CSS 1

  4. set-theory set-theory Public

    Forked from OpenLogicProject/set-theory

    Tim Button's open textbook on set theory

    TeX

  5. photos photos Public

    Forked from OpenLogicProject/photos

    Digital images used as illustrations in the Open Logic Project

    TeX

  6. portraits portraits Public

    Forked from OpenLogicProject/portraits

    Line art portraits of logicians for the Open Logic Project