Some uses of dilators in combinatorial problems. II
From MaRDI portal
Publication:3478402
DOI10.2307/2274952zbMath0701.03027MaRDI QIDQ3478402
Jacques Van de Wiele, V. Michele Abrusci, Jean-Yves Girard
Publication date: 1990
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274952
03F15: Recursive ordinals and ordinal notations
Cites Work