Introduction to Logic - Synthesis Lectures on Computer Science - Michael Genesereth - Books - Morgan & Claypool Publishers - 9781627052474 - August 1, 2013
In case cover and title do not match, the title is correct

Michael Genesereth
Introduction to Logic - Synthesis Lectures on Computer Science 2 Revised edition

Get an email once the item is available
Do you have a profile? Log in

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Provides a gentle but rigorous introduction to formal logic. The book covers logical syntax and semantics and proof theory, plus induction. Unlike other books, this title begins with Herbrand semantics rather than the more traditional Tarskian semantics. This approach makes the material considerably easier for students to understand.

164 pages, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 1, 2013
ISBN13 9781627052474
Publishers Morgan & Claypool Publishers
Pages 163
Dimensions 191 × 235 × 9 mm   ·   319 g
Language English  

More by Michael Genesereth

Show all

See all of Michael Genesereth ( e.g. Paperback Book and Hardcover Book )