Lex

Browse

GenresShelvesPremiumBlog

Company

AboutJobsPartnersSell on LexAffiliates

Resources

DocsInvite FriendsFAQ

Legal

Terms of ServicePrivacy Policygeneral@lex-books.com(215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Automation of Logic

Automation of Logic2012

Christoph Weidenbach

Details

First published
2012
OL Work ID
OL25159467W

Subjects

Logic

Find this book

GoodreadsOpen Library
Book data from Open Library. Cover images courtesy of Open Library.