First Order Logic

First Order Logic image
ISBN-10:

0534542522

ISBN-13:

9780534542528

Author(s): John Heil
Released: Jan 01, 1994
Format: Paperback, 309 pages
to view more data

Description:

This textbook is intended to cover the standard material in an elementary first-order, symbolic logic course. The author's goal is to introduce the elements of first-order logic gradually, in small steps, as dearly as possible.

This book strikes a balance between highly theoretical texts and those that focus on the applications of logic. The emphasis is on the construction of translations and derivations within a broad theoretical framework.












We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.