Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Logic, Construction, Computation

Ed. by Berger, Ulrich / Diener, Hannes / Schuster, Peter / Seisenberger, Monika

Series:Ontos Mathematical Logic 3

eBook (PDF)
Publication Date:
May 2013
Copyright year:
2012
ISBN
978-3-11-032492-1
See all formats and pricing

A Finite Axiomatisation of Inductive-Inductive Definitions

Forsberg, Fredrik Nordvall / Setzer, Anton

Citation Information

Fredrik Nordvall Forsberg, Anton Setzer (2012). A Finite Axiomatisation of Inductive-Inductive Definitions. In Logic, Construction, Computation (pp. 259–288). https://doi.org/10.1515/9783110324921.259

Book DOI: https://doi.org/10.1515/9783110324921

Online ISBN: 9783110324921

Get Permission

Comments (0)

Please log in or register to comment.
Log in