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 /

    Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /

    Published 2007
    Other Authors:
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
    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 2007
    Other Authors:
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:

Search Tools: