Higher order logic theorem proving and its applications /

Bibliographic Details

Corporate Authors:	IFIP TC 10/WG 10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications-HOL '92 Louvain, Belgium, International Federation for Information Processing
Other Authors:	Claesen, Luc J. M., Gordon, M. J. C.
Format:	Conference Proceeding Book
Language:	English
Published:	Amsterdam ; New York : North-Holland, 1993.
Series:	IFIP transactions. A, Computer science and technology ; A- 20.
Subjects:	Proof theory. Logic, Symbolic and mathematical.