Index

cardinality

CESG ,

class , ,

FOM

mailing list ,

GCHQ

Global Brain

hierarchy

cumulative

HOL , , , , , , , , , ,

HOL

Cambridge

NuPrl

PRG

ProofPower ,

rank

rank

of a set

set

set

well-founded

size

limitation of

small

VDM , , , , , , ,

Z , ,