Nominalistic Logic (NL)

Jørgen Villadsen

Under Construction

Association for Automated Reasoning

The Archive of Formal Proofs

TPS - Theorem Proving System

The HOL Light theorem prover

Metamath home page

Mizar home page

Logiweb home page

IMM Logiweb site

About Nominalistic Logic (NL)

Jørgen Villadsen 2008-09-01 imm.dtu.dk/~jv/nl