Type-free logic

From Free net encyclopedia