Natural Deduction Based Set Theories: A New Resolution of the Old Paradoxes.

Paul C. Gilmore

Published in: J. Symb. Log. (1986)

Keyphrases

small number
probability distribution
input data
text classification
natural deduction
theoretical framework
partial order
partially ordered