TY - BOOK AU - Lyndon,Roger C. TI - Notes on logic U1 - 511.5 23 PY - 1966/// [Reprinted1967] CY - Princeton, N.J. PB - Van Nostrand KW - Logic, Symbolic and mathematical N1 - Bibliography: p. 91-92 ER -