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