zbMath0105.00603MaRDI QIDQ3289854
Motokiti Kondô
Publication date: 1961
zbMATH Keywords
mathematical logic