DOI10.1007/BF01344004zbMath0118.25101MaRDI QIDQ2626203
P. Axt
Publication date: 1963 Published in: Mathematische Annalen (Search for Journal in Brave) Full work available at URL: https://eudml.org/doc/161100
zbMATH Keywords
mathematical logic
Cites Work