![](/img/cover-not-exists.png)
Logic Colloquium 2005 || Monotone inductive definitions and consistency of New Foundations
Dimitracopoulos, Costas, Newelski, Ludomir, Normann, Dag, Steel, John R.Volume:
10.1017/CB
Year:
2007
DOI:
10.1017/cbo9780511546464.016
File:
PDF, 399 KB
2007