Amsterdam: North-Holland Publishing Company, 1952. 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