Logical Approaches to Computational Barriers

From MaRDI portal
Publication:5898809