zbMath0146.24803MaRDI QIDQ5523679
Georges Hansel
Publication date: 1966
zbMATH Keywords
mathematical logic