PProof and ComputationProof and Computationde H. SchwichtenbergEdiciones (1)Proof and Computation (1995)Springer-Verlag · inglés · ISBN 9780387585819