Specifying Peirce's law in classical realizability (Q2973242)

From MaRDI portal