Remarks on Herbrand normal forms and Her
β
Ulrich Kohlenbach
π
Article
π
1992
π
Springer
π
English
β 674 KB