We have over a million books in stock.

Bookbot
The book is currently out of stock

Herbrand sequent extraction

Authors

Parameters

ISBN
9783836461528
Publisher
VDM Verlag Dr. Müller

Categories

Book variant

2008

Book purchase

We’ll notify you via email once we track it down.