zbMath0105.00405MaRDI QIDQ3289849
Jean Porte
Publication date: 1958
zbMATH Keywords
mathematical logic