名古屋大学附属図書館




1

Solvable cases of the decision problem

by W. Ackermann. -- North-Holland, c1954. -- (Studies in logic and the foundations of mathematics).