Mathematical logic as based on the theory of types.

From MaRDI portal
Publication:1491276