Return to Article Details Models of Propositional Calculi in Recursive Arithmetic. Download Download PDF