Melvin Fitting
First-Order Logic and Automated Theorem Proving - Texts in Computer Science Melvin Fitting 2nd ed. 1996. Softcover reprint of the original 2n edition

Name: First-Order Logic and Automated Theorem Proving - Texts in Computer Science
Price: 628 CNY
Availability: OutOfStock
Author: Melvin Fitting

价格

元 628

不含税

远程仓调货

预计送达时间年7月20日 - 年7月30日

顾客评价：

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

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

Trustpilot平台高分认证

添加至iMusic心愿单

Not rated yet

First-Order Logic and Automated Theorem Proving - Texts in Computer Science

Melvin Fitting

2nd ed. 1996. Softcover reprint of the original 2n edition

There are many kinds of books on formal logic. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues.

343 pages, biography

介质类型	图书 Paperback Book (平装胶订图书)
已发行	2013年6月26日
ISBN13	9781461275152
出版商	Springer-Verlag New York Inc.
页数	326
商品尺寸	244 × 170 × 22 mm · 553 g
语言	英语