MANASTER, ALFRED B.

COMPLETENESS, COMPACTNESS, AND UNDECIDABILITY: AN INTRODUCTION TO MATHEMATICAL LOGIC - S.E. - ENGLEWOOD Estados Unidos PRENTICE HALL 1975 - 154

0131646249

7995

511.3