Foundations of Mathematics I
3 contributors - Paperback
£15.25
Reasoning in Simple Type Theory
£17.50
