HDS-21: de Lavalette, Gerard R. Renardel (2017) Theories with type-free application and extended bar induction. Doctoral thesis, University of Amsterdam.
![[thumbnail of Samenvatting]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Samenvatting)
HDS-21-Gerard-Renardel-de-Lavalette.samenvatting.txt Download (1kB) |
|
Text (Full Text (DJVU))
HDS-21-Gerard-Renardel-de-Lavalette.text.djvu Download (3MB) |
|
Text (Full Text (PDF))
HDS-21-Gerard-Renardel-de-Lavalette.text.pdf Download (1MB) |
| Item Type: | Thesis (Doctoral) |
|---|---|
| Report Nr: | HDS-21 |
| Series Name: | ILLC Historical Dissertation (HDS) Series |
| Year: | 2017 |
| Additional Information: | Originally published: February 1985 (UvA). |
| Depositing User: | Dr Marco Vervoort |
| Date Deposited: | 11 Jan 2022 23:20 |
| Last Modified: | 26 Sep 2025 00:50 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1853 |
Actions (login required)
 |
View Item |
