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
{"_id":{"_str":"5218856daa2f288d1f0002c0"},"__v":3,"authorIDs":[],"author_short":["Troelstra","S, A","Schwichtenberg, H"],"bibbaseid":"troelstra-s-schwichtenberg-basicprooftheory-2000","bibdata":{"address":"Cambridge, UK","author":["Troelstra","S, A","Schwichtenberg, H"],"author_short":["Troelstra","S, A","Schwichtenberg, H"],"bibtex":"@book{ troelstra2000,\n title = {{Basic Proof Theory}},\n publisher = {Cambridge University Press},\n year = {2000},\n author = {Troelstra, A S and Schwichtenberg, H},\n address = {Cambridge, UK},\n edition = {Second},\n keywords = {#proof_theory},\n mendeley-tags = {#proof_theory}\n}","bibtype":"book","edition":"Second","id":"troelstra2000","key":"troelstra2000","keywords":"#proof_theory","mendeley-tags":"#proof_theory","publisher":"Cambridge University Press","title":"Basic Proof Theory","type":"book","year":"2000","bibbaseid":"troelstra-s-schwichtenberg-basicprooftheory-2000","role":"author","urls":{},"keyword":["#proof_theory"],"downloads":0,"html":""},"bibtype":"book","biburl":"http://delicias.dia.fi.upm.es/prov-xgCURATED.bib","downloads":0,"keywords":["#proof_theory"],"search_terms":["basic","proof","theory","troelstra","s","schwichtenberg"],"title":"Basic Proof Theory","title_words":["basic","proof","theory"],"year":2000,"dataSources":["drTBSwRdnSo2Wujnd"]}