Back to Search Start Over

Informal proofs and computability

Authors :
San Mauro, Luca Francesco
San Mauro, Luca Francesco
Lolli, Gabriele
Publication Year :
2016
Publisher :
Scuola Normale Superiore, 2016.

Subjects

Subjects :
proof by Church’s Thesi
dialectical system
quasi-dialectical system
computability theory
recursion theory
MAT/01 LOGICA MATEMATICA
Philosophy. History. XX century

Details

Language :
English
Database :
OpenAIRE
Accession number :
edsair.od......4054..eccf8ed08f11ad17a753cf9bc23ba029

Tools

Authors Abstract Subjects Details