Algebraic analysis of many valued logics (1958)

by C C Chang
Venue:Transactions of AMS