@misc{indiciaed2e72cc00282, title = {Yet another proof of Goedel's completeness theorem for first-order classical logic}, author = {Marco B. Caminati}, year = {2009}, url = {https://arxiv.org/abs/0910.2059}, note = {Source identifier: 0910.2059} }