Nonregular first order predicate calculus

From MaRDI portal
Publication:2548596