\(\mathrm{IKT}^\omega\) and Łukasiewicz-models

From MaRDI portal
Publication:1982009