Basic Proof Theory. Troelstra, S, A, & Schwichtenberg, H Cambridge University Press, Cambridge, UK, Second edition, 2000.
bibtex   
@book{ troelstra2000,
  title = {{Basic Proof Theory}},
  publisher = {Cambridge University Press},
  year = {2000},
  author = {Troelstra, A S and Schwichtenberg, H},
  address = {Cambridge, UK},
  edition = {Second},
  keywords = {#proof_theory},
  mendeley-tags = {#proof_theory}
}

Downloads: 0