Kleene, Stephen Cole Introduction to metamathematics - Amsterdam: North Holland Publishing Co., 1964 - 550p. Subjects--Topical Terms: Science Subjects--Index Terms: Technology Universal Decimal Class. No.: 517/519 / J2