On the Consistency and Undecidability of Recursive Arithmetic

From MaRDI portal
Publication:3845376