Return to Article Details Computability logic: Giving Caesar what belongs to Caesar Download Download PDF