Between constructive mathematics and PROLOG

...
3 downloads 61 Views 828KB Size