Dennis Sentilles A bridge to advanced mathematics - Williams and Wilkins 1975 - 387 p ISBN: 0- 683- 07535- 7 Subjects--Topical Terms: Proof theory LC Class. No.: QA 9. S44/