Monotone relations, fixed points and recursive definitions

2009

Janusz Czelakowski

in: Towards mathematical philosophy, Berlin,