621.381958 / In8
Gordon, M. J. C.
INTRODUCTION TO HOL / A THEOREM PROVING ENVIRONMENT FOR HIGHER ORDER LOGIC .- Cambridge: Cambridge Univ. Press, c1993 .- xi,472 .
Subject Headings:
Logic Programming;
Logic, Symbolic And Mathematical;
Author Added Entry:
Melham, T. F.;
Copy Details:
Acc. No.: A116165, Full Call No.: 621.381958 In8, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Gordon, M. J. C.
INTRODUCTION TO HOL / A THEOREM PROVING ENVIRONMENT FOR HIGHER ORDER LOGIC .- Cambridge: Cambridge Univ. Press, c1993 .- xi,472 .
Subject Headings:
Logic Programming;
Logic, Symbolic And Mathematical;
Author Added Entry:
Melham, T. F.;
Copy Details:
Acc. No.: A116165, Full Call No.: 621.381958 In8, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------