WhoCites
Definitions
ElisTarskiPf
B
Sections
NuprlLIB
Doc
Who Cites exists?
exists
Def
x:A. B(x) == x:A
B(x)
Syntax:
x:A. B(x)
has structure:
exists(A; x.B(x))
About:
WhoCites
Definitions
ElisTarskiPf
B
Sections
NuprlLIB
Doc