@Book{TS00,
    Author       = "Troelstra, A. and Schwichtenberg, H.",
    Year         = "2000",
    Title        = "{Basic Proof Theory}",
    Series       = "{Cambridge Tracts in Theoretical Computer Science}",
    Volume       = "43",
    Publisher    = "Cambridge University Press",
    Comment      = "TPTPRef"
}