Manna Z.
The logical basis for computer programming:Deductive reasoning - Addison Wesley publishing company 1985 - 618
0201182602 3000
computer programming mathematical logic theories with induction
The logical basis for computer programming:Deductive reasoning - Addison Wesley publishing company 1985 - 618
0201182602 3000
computer programming mathematical logic theories with induction