Boeken over The Two-Valued Iterative Systems of Mathematical Logic. %28Am-5%29