Herbrand Sequent Extraction

Herbrand Sequent Extraction

by Bruno Woltzenlogel Paleo (Author)

$45.03

Quantity

20+ in stock

More Information

Format: Paperback
Pages: 92
Publisher: VDM Verlag Dr. Mueller e.K.
Published: 07 Feb 2008

ISBN 10: 3836461528
ISBN 13: 9783836461528