zbMath0193.29404MaRDI QIDQ5588597
Ayda I. Arruda
Publication date: 1970
zbMATH Keywords
general logic