A bridge to advanced mathematics

Dennis Sentilles

A bridge to advanced mathematics - Williams and Wilkins 1975 - 387 p

0- 683- 07535- 7


Proof theory

QA 9. S44/