Nuprl - Some Definitions

WhoCites Definitions mb automata 3 Sections GenAutomata Doc

	Who Cites and?

and	`Def P & Q == PQ`

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

About:

WhoCites Definitions mb automata 3 Sections GenAutomata Doc