knuton/proof-theory — pull request #9 by knuton (2012-10-18 11:30:41+00:00)
Title: Add references for Preface

Do you like biblatex? I heard it's what the cool kids use now.