"A compact but thorough introduction to first-order logic, focused on the construction of translations and derivations, but locating these within a broader theoretical framework. This book assumes no... This description may be from another edition of this product.
Related Subjects
Logic Logic & Language Mathematics Philosophy Politics & Social Sciences Science & Math