Equational logic as a programming language
O'Donnell, Michael J
Equational logic as a programming language - - Cambridge MIT Press, 1986 - 296 p. 24 cm - .
0-262-15028-X2
Programming languages (Electronic computer)
681.3.06 O'D
Equational logic as a programming language - - Cambridge MIT Press, 1986 - 296 p. 24 cm - .
0-262-15028-X2
Programming languages (Electronic computer)
681.3.06 O'D