First-Order Logic: A Concise Introduction

By John Heil

"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 prior contact with, or enthusiasm for, formal logic. The aim has been to introduce the elements of first-order logic gradually, in small steps, as clearly as possible, written in a way that is congenial to students and instructors, who might feel uncomfortable in symbolic domains"--

• Format: Paperback
• Language: English
• ISBN: 1624669921
• ISBN13: 9781624669927
• Release Date: October 2021
• Publisher: Hackett Publishing Company, Inc.
• Length: 312 Pages
• Weight: 1.22 lbs.
• Dimensions: 9.8" x 0.8" x 6.8"
• Grade Range: Grade 12 to Postsecondary