Thomas Lanier Clingman: Fire Eater from the Carolina Mountains by Jeffrey, HCDJ

Logic Based Program Synthesis and Transformation by Maurice Bruynooghe (English)

Introductory calculus with applications by Ratti, J. S, Acceptable Book

Logic-Based Program Synthesis and Transformation: 33rd International Symposium,

Life And Times Of Girolamo Savonarola, Paperback by Villari, Pasquale; Villar...

Laboratory Explorations to Accompany Microelectronic Circuits by Gaudet: Used

The Supreme Court and Religion in A..., Hitchcock, Jame

Logic-based Program Synthesis and Transformation : 24th International Symposi...