Normal view MARC view

Harel, David, 1950- (Personal Name)

Number of records used in: 2
Preferred form: Harel, David, 1950-

His First-order dynamic logic, 1979: t.p. (David Harel) verso t.p. (IBM Research Div., Mathematical Sciences Dept., Yorktown Heights, N.Y.)

FTS call to auth., 4/10/79 (b. 4/12/50; not same as Harel, Dudu, Israeli artist)

His Pirḳe yesod be-madaʻe ha-maḥshev, 1985: t.p. (Prof. Daṿid Harʼel, ha-Maḥlaḳah le-matemaṭiḳah shimushit, Mekhon Ṿaitsman le-madaʻ, Reḥovot) t.p. verso (David Harel [in rom.])