Skip to content

On a Generalisation of Herbrand's Theorem.

Matthias Baaz, Georg Moser

VenueBCSL
Year2001
ProceedingsCSL

Browse the full CSL paper archive.