Foundations of Mathematics I
3 contributors - Paperback
£15.25
Reasoning in Simple Type Theory
£17.50
Subscribe to our newsletter, and stay in the loop:
