TRUTH‐VALUE STIPULATIONS FOR THE VON WRIGHT SYSTEM M′ AND THE HEYTING SYSTEM

From MaRDI portal
Publication:5331460