Fredrik Nordvall Forsberg

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 proceeding › Other chapter contribution
  9 Citations (Scopus)