Disambiguation evidence for Herbrand's theorem via surface form
"Herbrand-style proof calculi"
Triples (1)
Triples where some other subject referred to this entity
as "Herbrand-style proof calculi".
Disambiguation evidence for Herbrand's theorem via surface form
Triples where some other subject referred to this entity
as "Herbrand-style proof calculi".