zbMath0343.02008MaRDI QIDQ4110974
Rita Iannacci
Publication date: 1976
Mathematics Subject Classification ID
03B10: Classical first-order logic