Treatise on Intuitionistic Type Theory
| dc.contributor.author | Georg, Johan | |
| dc.date.accessioned | 2018-10-10T08:13:46Z | |
| dc.date.accessioned | 2024-06-28T13:40:26Z | |
| dc.date.available | 2018-10-10T08:13:46Z | |
| dc.date.available | 2024-06-28T13:40:26Z | |
| dc.date.issued | 2011 | |
| dc.identifier.isbn | 978-94-007-1736-7 | |
| dc.identifier.uri | https://drs.ess.gov.et/handle/123456789/8417 | |
| dc.language.iso | en | en_US |
| dc.publisher | Springer | en_US |
| dc.subject | Intuitionistic | en_US |
| dc.title | Treatise on Intuitionistic Type Theory | en_US |
| dc.type | Book | en_US |