Agler, David W., 1982-
Symbolic logic syntax, semantics, and proof / [electronic resource] :
David W. Agler.
- Lanham, Md. : Rowman & Littlefield Publishers, c2013.
- xix, 375 p.
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Logic, Modern.
Logic, Symbolic and mathematical.
Electronic books.
BC38 / .A35 2013eb
511.3