Personal Reflections on the Role of Mathematical Logic in Computer Science

From MaRDI portal
Publication:5212039