Home
SPARQL
Handbook of proof theory / ed. by Samuel R. Buss
<http:/
/
data.bibliotheken.nl/
id/
nbt/
p15894366X>
schema:
Book
schema:
CreativeWork
schema:
ProductModel
rdfs:
label
"Handbook of proof theory / ed. by Samuel R. Buss"
schema:
name
"Handbook of proof theory"
schema:
contributor
Buss, Samuel R.
schema:
same
As
<http:/
/
www.worldcat.org/
oclc/
782283496>
schema:
main
Entity
Of
Page
<https:/
/
data.bibliotheken.nl/
.well-
known/
genid/
3e567f6f5127f5c45dd9a8e13de623be>
http:/
/
purl.org/
dc/
terms#
issued
"1998"
schema:
about
<http:/
/
data.bibliotheken.nl/
id/
thes/
p077601874>
Theory of proof
Logica
wiskundige logica
schema:
associated
Media
<http:/
/
www.loc.gov/
catdir/
enhancements/
fy0601/
98018922-
t.html>
<http:/
/
catdir.loc.gov/
catdir/
enhancements/
fy0601/
98018922-
d.html>
<http:/
/
www.loc.gov/
catdir/
enhancements/
fy0601/
98018922-
d.html>
<http:/
/
catdir.loc.gov/
catdir/
enhancements/
fy0601/
98018922-
t.html>
schema:
in
Language
"en"
schema:
is
Part
Of
Studies in logic and the foundations of mathematics / ed. J. Barwise ... [et al.]
schema:
isbn
"0444898409"
schema:
number
Of
Pages
811
schema:
publication
<https:/
/
data.bibliotheken.nl/
.well-
known/
genid/
d64fc93e12e06dfb801cabac5eaa4061>
Download as:
RDF/XML
JSON-LD
Turtle
data from SPARQL endpoint:
https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql