If you made any changes in Pure these will be visible here soon.
Other chapter contribution

Search results

  • 2012

    A finite axiomatisation of inductive-inductive definitions

    Nordvall Forsberg, F. & Setzer, A., 2012, Logic, Construction, Computation. Berger, U., Hannes, D., Schuster, P. & Seisenberger, M. (eds.). Vol. 3. p. 259 - 287 (Ontos mathematical logic).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution