On the relation between a type theoretic and a logical formulation of the theory of constructions
| dc.contributor.author | Smith, Jan, 1950- | en |
| dc.date.accessioned | 2008-08-11T10:02:52Z | |
| dc.date.available | 2008-08-11T10:02:52Z | |
| dc.date.issued | 1978 | en |
| dc.identifier.uri | http://hdl.handle.net/2077/14210 | |
| dc.subject | Matematik Allmänt | en |
| dc.title | On the relation between a type theoretic and a logical formulation of the theory of constructions | en |
| dc.type | Text | en |
| dc.type.svep | Doctoral thesis | en |
| dc.gup.origin | Göteborgs universitet/University of Gothenburg | eng |
| dc.gup.department | Matematik | en |
| dc.gup.dissdbid | 4204 | en |
| dc.gup.dissdb-impressum | Göteborg [1978] | en |
| dc.gup.dissdb-fakultet | MNF |
Filer under denna titel
| Filer | Storlek | Format | Granska |
|---|---|---|---|
|
There are no files associated with this item. |
|||