Normal view MARC view

Agler, David W., 1982- (Nomi di persona)

Number of records used in: 1

Preferred form: Agler, David W., 1982-

Symbolic logic : syntax, semantics, and proof / David W. Agler. - Lanham, 2013.