Logical Basis for Computer Programming
Zohar Manna, Richard Waldinger
Logical Basis for Computer Programming - 2 - Addison-Wesley Publishing 1990 - 642
0-201-18261-0
004.423
Logical Basis for Computer Programming - 2 - Addison-Wesley Publishing 1990 - 642
0-201-18261-0
004.423