Paperback Book

Pieejams iMusic noliktavā

Rādīt nepieejamās preces

izlaidumi no Paulson, Lawrence C. (University of Cambridge)

Cover for Paulson, Lawrence C. (University of Cambridge) · Logic and Computation: Interactive Proof with Cambridge LCF - Cambridge Tracts in Theoretical Computer Science (Paperback Book) (1990)

Logic and Computation: Interacti... (1990)

Paulson, Lawrence C. (University...