DOI10.1305/ndjfl/1093888215zbMath0315.02050MaRDI QIDQ1220927
W. A. Verloren van Themaat
Publication date: 1978 Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1305/ndjfl/1093888215
Mathematics Subject Classification ID
03C60: Model-theoretic algebra
20A10: Metamathematical considerations in group theory
Related Items