Get access to over 500,000 titles
Start your free trial today and explore our endless library.
Start free trial
Join perlego now to get access to over 500,000 books
Computational Logic

Computational Logic

Dov M. Gabbay, Jörg H. Siekmann, John Woods
Start free trial
shareBook
Share book
pages
736 pages
language
English
format
PDF
unavailableOnMobile
Not available on the Perlego app

Computational Logic

Dov M. Gabbay, Jörg H. Siekmann, John Woods
Book details
Table of contents

About This Book

Read More

Information

Publisher
Elsevier Science
Year
2014
ISBN
9780080930671
Topic
Mathematics
Subtopic
Logic in Mathematics

Table of contents