L'arithmétisation de la logique symbolique.

From MaRDI portal
Publication:1437921