Mathematical Logic for Computer Science

From MaRDI portal
Publication:2894076