Aagaard,Mark (ed.) Theorem proving in higher order logics / Aagaard,Mark (ed.). - 13th international c - Berlin: Springer, 2000. - ix,536p;23cm Includes bibliographical references. ISBN: 3540678638 Dewey Class. No.: 004 LEC