| LC control no. | n 88157774 |
|---|---|
| Personal name heading | Scholten, Carel S. |
| Found in | Dijkstra, E.W. Predicate calculus and program semantics, c1989: CIP t.p. (Carel S. Scholten) t.p. verso (Beekbergen, The Netherlands) |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
