LDView Logo
Home SPARQL

On forcing in bounded arithmetic / Domenico Zambella

<http://data.bibliotheken.nl/id/nbt/p147140730>

schema:Book schema:CreativeWork schema:ProductModel
rdfs:label "On forcing in bounded arithmetic / Domenico Zambella"
schema:name "On forcing in bounded arithmetic"
schema:author Institute for Logic, Language and Computation (Amsterdam)
Zambella, Domenico
schema:sameAs <http://www.worldcat.org/oclc/68949146>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/01e7243e3e4d20ccd928ad1933682ed1>
http://purl.org/dc/terms#issued "1996"
schema:about wiskundige logica
schema:inLanguage "en"
schema:isPartOf ILLC research report and technical notes series
schema:numberOfPages 15
schema:publication <https://data.bibliotheken.nl/.well-known/genid/bbbe3942c78ac5a64d3f0ffbd1327d0e>
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql
CodebergLDView on Codeberg