Nuprl - Some Definitions

WhoCites Definitions var jlc Sections ClassicalProps(jlc) Doc

	Who Cites Var?

Var	`Def Var == Atom`

	`Thm* Var Type`

decidable	`Def Dec(P) == P P`

	`Thm* A:Prop. Dec(A) Prop`

not	`Def A == A False`

	`Thm* A:Prop. (A) Prop`

About:

WhoCites Definitions var jlc Sections ClassicalProps(jlc) Doc