1. Carnap R. 1943. Formalization of Logic. Cambridge, MA: Harvard University Press.
2. Formalization of Logic.
3. Non-normal truth-tables for the propositional calculus;Church;Boletín de la Sociedad Matemática Mexicana,1953
4. Kleene’s three valued logics and their children;Fitting;Fundamenta Informaticae,1994
5. Carnap’s problem: what is it like to be a normal interpretation of classical logic;Koslow;Abstracta,2010