| LC control no. | n 96115340 |
|---|---|
| Personal name heading | Hofmann, Martin, 1965- |
| Found in | His Extensional constructs in intensional type theroy, c1997: CIP t.p. (Martin Hofmann) data sheet (b. 11/09/65) |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
