1
The logical basis for computer programming. 2. Deductive systems.
Book
Manna, Z.
1990
...Logical basis for computer programming ;...
2
The logical basis for computer programming. 1. Deductive reasoning.
Book
Manna, Z.
1985
...Logical basis for computer programming ;...