Basic simple type theory

by J. Roger Hindley · 2 reviews · 1999

Reviewed by Journal Date Access
Hans-Joerg Tiede Journal of Logic, Language and Information 1999-10-01 Restricted
Anton Setzer The Journal of Symbolic Logic 1999 Restricted

Metaphysics & Logic Epistemology & Philosophy of Mind

Search PhilReviews for this title