Proof Theory and Logic Programming  Computation as Proof Search

Proof Theory and Logic Programming Computation as Proof Search

Beste pris fra kr 806 og finnes i 2 butikker.