LC control no. | n 83152979 |
---|---|
Personal name heading | Church, Alonzo, 1903-1995 |
Found in | His A bibliography of symbolic logic, 1983: CIP t.p. (Alonzo Church) LC data base, 12/13/83 (hdg.: Church, Alonzo, 1903- ) The collected works of Alonzo Church, 2004: CIP introd. (b. June 14, 1903, in Washington, D.C.; d. Aug. 11, 1995) |