I am looking for literature in which a detailled proof of the soundness and completeness of Fitch-style proofs for first order logic is given. In his 1952 book "Symbolic Logic, An Introduction" he proves that the system is free from contradiction, but I could not find any resources in which the soundness and completeness of the system for first order logic is proven (or even stated). If someone here knows where to find any such literature, it would help me a lot.
Thank you!!!