A Type Theory in Which Variables Range Over Predicates
| Main Author: | |
|---|---|
| Published: |
London School of Economics and Political Science (University of London)
1975
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.469502 |
| id |
ndltd-bl.uk-oai-ethos.bl.uk-469502 |
|---|---|
| record_format |
oai_dc |
| spelling |
ndltd-bl.uk-oai-ethos.bl.uk-4695022017-12-24T16:04:28ZA Type Theory in Which Variables Range Over PredicatesPriest, G. G.1975510London School of Economics and Political Science (University of London)http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.469502Electronic Thesis or Dissertation |
| collection |
NDLTD |
| sources |
NDLTD |
| topic |
510 |
| spellingShingle |
510 Priest, G. G. A Type Theory in Which Variables Range Over Predicates |
| author |
Priest, G. G. |
| author_facet |
Priest, G. G. |
| author_sort |
Priest, G. G. |
| title |
A Type Theory in Which Variables Range Over Predicates |
| title_short |
A Type Theory in Which Variables Range Over Predicates |
| title_full |
A Type Theory in Which Variables Range Over Predicates |
| title_fullStr |
A Type Theory in Which Variables Range Over Predicates |
| title_full_unstemmed |
A Type Theory in Which Variables Range Over Predicates |
| title_sort |
type theory in which variables range over predicates |
| publisher |
London School of Economics and Political Science (University of London) |
| publishDate |
1975 |
| url |
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.469502 |
| work_keys_str_mv |
AT priestgg atypetheoryinwhichvariablesrangeoverpredicates AT priestgg typetheoryinwhichvariablesrangeoverpredicates |
| _version_ |
1718573139879788544 |