New foundation of formal metamathematics.

From MaRDI portal
Publication:2595482