Type theory

1 titles from eBooks.com
The Theory of Logical Types (Routledge Revivals)
US$40.95

This reissue, first published in 1971, provides a brief historical account of the Theory of Logical...