Linked Data Explorer
Turtle
N-Triple
JSON-LD
RDF/XML
HTML
Contact Us
Home
http://worldcat.org/entity/work/id/45507040
Five notes on the application of proof theory to computer science
Open All
Close All
type
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://schema.org/CreativeWork
contributor
http://schema.org/contributor
http://id.loc.gov/authorities/names/n82067384
http://viaf.org/viaf/156543628
creator
http://schema.org/creator
http://worldcat.org/entity/person/id/2641304637
name
http://schema.org/name
"
Five notes on the application of proof theory to computer science
"
"
Five notes on the application of proof theory to computer science
"
@
en
workExample
http://schema.org/workExample
http://www.worldcat.org/oclc/36297393
http://www.worldcat.org/oclc/606165008