Introduction to Guarded Logics

From MaRDI portal
Publication:4412841