PURE INDUCTIVE LOGIC WITH FUNCTIONS

From MaRDI portal
Publication:5207558