AN OUTLINE OF MATHEMATICAL LOGIC: FUNDAMENTAL RESULTS AND By Andrzej Grzegorczyk

You will find that this textbook includes a detailed table of contents.