TY  - RPRT
TI  - Lectures on Jacques Herbrand as a Logician
AU  - Claus-Peter Wirth
AU  - Joerg Siekmann
AU  - Christoph Benzmueller
AU  - Serge Autexier
PY  - 2014
UR  - https://arxiv.org/abs/0902.4682
ID  - 0902.4682
ER  -