Nuprl - Definition Cascade for and

WhoCites Definitions graph 1 3 Sections Graphs Doc

	Who Cites and?

and	`Def P & Q == PQ`

Syntax: P & Q has structure: and(P; Q)

About:

WhoCites Definitions graph 1 3 Sections Graphs Doc