WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/26190293

An evaluation of the [omega]-complexity of first order arithmetic with the constructive [omega]-rule

Open All Close All

type

about

creator

name

http://schema.org/name

  • "An evaluation of the [omega]-complexity of first order arithmetic with the constructive [omega]-rule"@en

workExample