MANY-VALUED LOGICS by ROSSER, J. Barkley and Atwell R. Turquette - 1952

Amsterdam: North-Holland Publishing Company. 1952. First printing. Softcover. Yellow card covers. pp (8), (125). Fine copy. Yellow jacket has one corner nick; spine slightly sunned and darkened, VG otherwise. "The present text is notable for its comprehensive treatment of quantification in many-valued logic. This topic has received only very sketchy treatment in the past." Rosser was an American mathematical logician who contributed the Church-Rosser theorem to the study of computer science. An historically important text and scarce in this original editon. ; Octavo .