Title: Logical approaches to computational barriers
Subjects: Congresses, Computable functions, Machine Theory, Informatique, Biocomputer, Berechnungskomplexitat, Berechnungstheorie, COMPUTERS, Algorithmus, Congres, Church-These, Fonctions calculables, Computer science, mathematics, Computational complexity