Nuprl - Some Definitions

WhoCites Definitions mb state machine Sections GenAutomata Doc

	Who Cites exists?

exists	`Def x:A. B(x) == x:AB(x)`

Syntax: x:A. B(x) has structure: exists(A; x.B(x))

About:

WhoCites Definitions mb state machine Sections GenAutomata Doc