Iterated Inductive Definitions Revisited

From MaRDI portal
Publication:5214787

DOI10.1007/978-3-319-63334-3_9zbMath1429.03200OpenAlexW2794927041MaRDI QIDQ5214787

Wolfram Pohlers

Publication date: 5 February 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-63334-3_9




Related Items (1)



Cites Work


This page was built for publication: Iterated Inductive Definitions Revisited