Matches in DBpedia 2016-04 for { <http://folk.uio.no/herman/bevisteori.ps> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- bevisteori.ps authorLink "Herman Ruge Jervell".
- bevisteori.ps edition "textbook draft".
- bevisteori.ps first "Herman Ruge".
- bevisteori.ps isCitedBy Gentzens_consistency_proof.
- bevisteori.ps last "Jervell".
- bevisteori.ps title "A course in proof theory".
- bevisteori.ps url bevisteori.ps.
- bevisteori.ps year "1999".