Switch to: Citations

References in:

Hyperarithmetical Sets

In Alberto Policriti & Eugenio Omodeo (eds.), Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Cham, Switzerland: Springer Verlag (2016)

Add references

You must login to add references.

No references yet.