Matches in DBpedia 2015-10 for { <http://math.ucsd.edu/~sbuss/ResearchWeb/handbookI/> ?p ?o }
Showing triples 1 to 16 of
16
with 100 triples per page.
- handbookI author "Samuel R. Buss".
- handbookI chapter "An introduction to proof theory".
- handbookI date "1998".
- handbookI editor "Samuel R. Buss".
- handbookI first1 "Samuel R.".
- handbookI id "ISBN 0-444-89840-9".
- handbookI isCitedBy Literal_(mathematical_logic).
- handbookI isCitedBy Sequent_calculus.
- handbookI isbn "0-444-89840-9".
- handbookI last1 "Buss".
- handbookI pages "1–78".
- handbookI publisher "Elsevier".
- handbookI ref "harv".
- handbookI title "Handbook of proof theory".
- handbookI url handbookI.
- handbookI year "1998".