COMPLETENESS, COMPACTNESS AND UNDECIDABILITY

MANASTER A B

COMPLETENESS, COMPACTNESS AND UNDECIDABILITY - NEW DELHI PRENTICE-HALL OF INDIA 1978 - 160

511.3 N75 MAN