Cover Image
Read Now

1
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... -- Experiments with ZF set theory in HOL and Isabelle -- Automatically synthesized term denotation predicates: A...”