Herbrand Sequent Extraction
Publisher: VDM Verlag Dr. Mueller E.K.; VDM Verlag Dr. Mueller e.K.
Published: Feb 07, 2008
Format: paperback
Number of pages: 92
ISBN-13: 9783836461528