Mathematical logic in computer science /
edited by B. Dömölki and T. Gergely.
- Amsterdam : North-Holland Pub. Co., 1981.
- 758 p. : ill.
- (Colloquia mathematical societatis janos bolyai ; 26) .
Includes bibliographies.
0444854401
Computer programming management. Logic, symbolic and mathematical.