Wikiproofs:Formal description of JHilbert

From Wikiproofs
Jump to: navigation, search
Formal description of JHilbert
A collection of articles describing JHilbert formally and describing its relation to other systems.