zbMath0105.00701MaRDI QIDQ3289855
Motokiti Kondô
Publication date: 1961
zbMATH Keywords
mathematical logic