Author Search Results

Benedikt Löwe

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

Blackwell determinacy / Benedikt Löwe

Participants: Löwe, Benedikt [ VerfasserIn ]
Published: 2001

Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London / / edited by Johan Van Benthem, Dov Gabbay, Benedikt Lowe.

Participants: Augustus de Morgan Workshop London, England) [ ]; ProQuest (Firm) [ ]; Benthem, J. F. A. K. van, 1949- [ TeilnehmendeR ]; Lowe, Benedikt. [ TeilnehmendeR ]; Gabbay, Dov M., 1945- [ TeilnehmendeR ]; ...
Published: c2007.
Superior document: Texts in logic and games ; v. 1

Other Authors: “...Lowe, Benedikt....”

Links: Get full text