R. E. Grandy

• Advanced Logic for Applications