![[IEEE Comput. Soc Proceedings. 14th Symposium on Logic in Computer Science - Trento, Italy (2-5 July 1999)] Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158) - First-order logic vs. fixed-point logic in finite set theory]()
[IEEE Comput. Soc Proceedings. 14th Symposium on Logic in Computer Science - Trento, Italy (2-5 July 1999)] Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158) - First-order logic vs. fixed-point logic in finite set theoryAtserias, A.; Kolaitis, P.G. · 1999