zbMath0182.31901MaRDI QIDQ5572311
Domenico Costantini
Publication date: 1969
zbMATH Keywords
general logic