MANASTER, ALFRED B. COMPLETENESS, COMPACTNESS, AND UNDECIDABILITY: AN INTRODUCTION TO MATHEMATICAL LOGIC - S.E. - ENGLEWOOD Estados Unidos PRENTICE HALL 1975 - 154 ISBN: 0131646249 LCCN: 7995 Dewey Class. No.: 511.3