Gibbins P.
Logic with Prolog - Англи Clarendon Press 1988 - 321
0198596715 1005
mathematics logic computing sciencs prolog propositional calculus predicate calculus program proving
Logic with Prolog - Англи Clarendon Press 1988 - 321
0198596715 1005
mathematics logic computing sciencs prolog propositional calculus predicate calculus program proving