Conservative Definitions for Higher-order Logic with Ad-hoc Overloading
- Författare
- Arve Gengelbach
- Genre
- Statlig publikation, theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Acta Universitatis Upsaliensis | 2021 | Sverige, Uppsala | 34 | |
| Acta Universitatis Upsaliensis | 2021 | Sverige, Uppsala | 34 sidor illustrationer | 978-91-513-1150-0 |