zbMath0301.02013MaRDI QIDQ4055954
Andrzej Biela
Publication date: 1974
Mathematics Subject Classification ID
03B10: Classical first-order logic
03C35: Categoricity and completeness of theories