Funder
European Research Council
HORIZON EUROPE European Research Council
Reference36 articles.
1. A formulation of the simple theory of types;Church;J. Symb. Log.,1940
2. A computing procedure for quantification theory;Davis;J. ACM,1960
3. Mathematics subject classification 2020;Dunne;Not. Am. Math. Soc.,2020