Search Results - Löwe, Benedikt

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
Refine Results
  1. 1

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

    Published 2007
    Other Authors: “…Löwe, Benedikt…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  2. 2