Introduction to semantics and formalization of logic - Carnap Rudolf (Cambridge Harvard University Press UK, 1975)
Appendix 229-52p; Bib 253-54p , 155p