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

Do you have a profile? 登录

顾客评价：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

根据欧洲消费者保护法享受14天退换货政策

Trustpilot平台高分认证

添加至iMusic心愿单

Not rated yet

Introduction to Logic - Synthesis Lectures on Computer Science

Michael Genesereth

2 Revised edition

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

介质类型	图书 Paperback Book (平装胶订图书)
已发行	2013年8月1日
ISBN13	9781627052474
出版商	Morgan & Claypool Publishers
页数	163
商品尺寸	191 × 235 × 9 mm · 319 g
语言	英语