INTRODUCTION TO FOUNDATION OF MATHEMATICS by Raymond L. Wilder 1967 HC/Vintage