21. The classical decision problem /
Author: Egon Börger, Erich Grädel, Yuri Gurevich
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Decidability (Mathematical logic)
Classification :
QA9
.
65
.
B64
1997
