Record number

3936

Title

Introduction to Hol:A theorem proving environment for higher order logic

Publication

New York Cambidge University Press

Published Year

1991

Fierst Pages

0

Main Pages

472

Collation

472

Notes

511.33^cI55 , Glossary

Reprint

False

Contents

0

Print issue

0

Subject

Logic, symbolic and mathematical

Class

511.33

CutterNumber

I55

Language

انگليسي