LOGIC -- BERTRAND, J. Calcul des probabilités. 1889. Hcl. (Small stamp on ti.). First edition. -- A. JOJA. Recherches logiques. 1971. Ocl. -- A. TARSKI. Logic, semantics, metamathematics. Papers from 1923 to 1938. Transl. by J.H. Woodger. 1956. Ocl. -- E.W. BETH. Formal methods. An introd. to symbolic logic and to the study of effective operations in arithmetic and logic. (1962). Ocl. w. (a bit browned/dam.) dust-j. -- H.B. CURRY. Leçons de logique algébrique. 1952. Owrps. -- And 3 o. (8).