LOGIC -- HEYTING, A. Intuitionism. An introduction. 1956. Or. limp brds. (W. some underl./annot. in (cold.) pencil by a student of Heyting, inserted a fold. appoint-form for oral exam). First edition. -- J. BARWISE, ed. Handbook of mathematical logic. (1978). Obrds. (Upper joint broken). -- P. BRAFFORT & D. HIRSCHBERG, eds. Computer programming and formal systems. 2nd pr. (1967). Or. limp brds. (Ex libr. copy). -- H.B. CURRY. Outlines of a formalist philosophy of mathematics. 1951. Or. limp brds. -- I. LAKATOS, ed. The problem of inductive logic. (Int. Coll. in the Philos. of Science, Lond., 1965). 1968. Ocl. w. dust-j. -- (5). (Studies in Logic and the Foundations of Mathematics).