Deduction Systems
Publisher: Springer
Published: Nov 25, 2011
Format: paperback
Number of pages: 224
ISBN-13: 9781461222675