Krähenbühl, Jürg

Up a level
Export as [feed] RSS
Group by: Date | Item Type | Refereed | No Grouping
Jump to: No | Yes


Jäger, Gerhard; Krähenbühl, Jürg (2010). Choice in a Theory of sets and classes. In: Schindler, Ralf (ed.) Ways of Proof Theory. Ontos mathematical logic: Vol. 2 (pp. 283-314). Heusenstamm bei Frankfurt: Ontos


Alberucci, Luca; Krähenbühl, Jürg; Studer, Thomas (2014). Justifying induction on modal μ-formulae. Logic Journal of IGPL, 22(6), pp. 805-817. Oxford University Press 10.1093/jigpal/jzu001

Provide Feedback