Browse by ISBN
Number of items: 1.
Nordvall Forsberg, Fredrik and Setzer, Anton; Berger, Ulrich and Hannes, Diener and Schuster, Peter and Seisenberger, Monika, eds. (2012) A finite axiomatisation of inductive-inductive definitions. In: Logic, Construction, Computation. Ontos mathematical logic, 3 . De Gruyter, 259 - 287. ISBN 9783110324921