A proof of Herbrand's theorem
2012 ◽
Vol 58
(3)
◽
pp. 208-216
◽
2007 ◽
Vol 22
(4)
◽
pp. 541-553
1974 ◽
Vol 15
(3)
◽
pp. 487-488
◽
2008 ◽
Vol 20
(1)
◽
pp. 35-54
◽
Keyword(s):