New Foundations Evolution of

Quine's logic system

L-hat 1 Based on
1