zbMath0157.01401MaRDI QIDQ5538903
Ayda I. Arruda
Publication date: 1968
zbMATH Keywords
mathematical logic