Home
SPARQL
Types, tableaus, and Gödel's God / Melvin Fitting
<http:/
/
data.bibliotheken.nl/
id/
nbt/
p240999002>
schema:
Book
schema:
CreativeWork
schema:
ProductModel
rdfs:
label
"Types, tableaus, and Gödel's God / Melvin Fitting"
schema:
name
"Types, tableaus, and Gödel's God"
schema:
author
Fitting, Melvin Chris (1942-)
schema:
same
As
<http:/
/
www.worldcat.org/
oclc/
783084594>
schema:
main
Entity
Of
Page
<https:/
/
data.bibliotheken.nl/
.well-
known/
genid/
2005f92216c139e80433e9a577ea9909>
http:/
/
purl.org/
dc/
terms#
issued
"2002"
schema:
about
Ontologisch godsbewijs
<http:/
/
data.bibliotheken.nl/
id/
thes/
p077601874>
wiskundige logica
Gödel, Kurt Friedrich (1906-1978)
Modale logica
Predicatenlogica
Type theory
schema:
associated
Media
<http:/
/
bvbr.bib-
bvb.de:8991/
F?func=service&doc_library=BVB01&doc_number=009883350&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA>
<http:/
/
bvbm2.bib-
bvb.de:8993/
F?func=service&doc_library=BVB01&doc_number=009883350&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA>
<http:/
/
www.loc.gov/
catdir/
enhancements/
fy0826/
2002070322-
t.html>
<http:/
/
www.loc.gov/
catdir/
enhancements/
fy0826/
2002070322-
d.html>
<http:/
/
catdir.loc.gov/
catdir/
enhancements/
fy0826/
2002070322-
t.html>
<http:/
/
catdir.loc.gov/
catdir/
enhancements/
fy0826/
2002070322-
d.html>
schema:
in
Language
"en"
schema:
is
Part
Of
Trends in logic : Studia logica library
schema:
isbn
"1402006047"
schema:
number
Of
Pages
180
schema:
publication
<https:/
/
data.bibliotheken.nl/
.well-
known/
genid/
565f7e85637b9d3abe229f5447958868>
Download as:
RDF/XML
JSON-LD
Turtle
data from SPARQL endpoint:
https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql