First-order foundational calculus. - Knee G B (London Routledge & Kegan Paul, 1964)