Functional Forms and Herbrand’s Theorem J.P. Mayberry University of Bristol Contents Preface 1 Languages and Interpretations 1.1 1.2 1.3 2 ... more>>