03 Mathematical logic and foundations
03Dxx Computability and recursion theory

03D35 Undecidability and degrees of sets of sentences (3 articles)

Partner of
EuDML logo