Back to Search
Start Over
Informal proofs and computability
- Publication Year :
- 2016
- Publisher :
- Scuola Normale Superiore, 2016.
Details
- Language :
- English
- Database :
- OpenAIRE
- Accession number :
- edsair.od......4054..eccf8ed08f11ad17a753cf9bc23ba029