Nominalistic Logic (NL)

Jørgen Villadsen

Under Construction

NoMath: Nominalistic Logic for Computer Mathematics

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

About Nominalistic Logic (NL)

Jørgen Villadsen 2014-09-20 www2.compute.dtu.dk/~jovi/nl/