Advanced elementary formal systems.

From MaRDI portal
Publication:1874228