The Mathematics of metamathematics - Sikorski, Roman (1963)