Benedikt Löwe

Benedikt Löwe in [[Prague]], August 2019 Benedikt Löwe

(born 1972) is a German mathematician and logician working at the universities of Hamburg and Cambridge. He is known for his work on mathematical logic and the foundations of mathematics, as well as for initiating the interdisciplinary conference series ''Foundations of the Formal Sciences'' (FotFS; 1999–2013) and ''Computability in Europe'' (CiE; since 2005). Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'Löwe, Benedikt', query time: 0.02s Refine Results
  1. 1
    Interactive Logic Selected Papers from the 7th Augustus de Morgan Workshop, London

    Interactive Logic Selected Papers from the 7th Augustus de Morgan Workshop, London

    Published 2007
    Other Authors:
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:
  2. 2
    Interactive Logic Selected Papers from the 7th Augustus de Morgan Workshop, London

    Interactive Logic Selected Papers from the 7th Augustus de Morgan Workshop, London

    Published 2008
    Other Authors:
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
    Save to List
    Saved in:

Search Tools: