Yet another proof of Goedel's completeness theorem for first-order classical logic

Marco B. Caminati

A Henkin-style proof of completeness of first-order classical logic is given with respect to a very small set (notably missing cut rule) of Genzten deduction rules for intuitionist…