Allenby, R.B.J.T.

Numbers and proofs - Oxford : Butterworth- Heinemann, 1997 - x,274p. : ill. ; 25cm.

Includes bibliographical references and index

0-340-67653-1


Proof theory

QA9.54.A55 1997