The description for this book, The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), will be forthcoming.
