Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Principles of Mathematical Logic
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia-live.demo.openlinksw.com
Book by Wilhelm Ackermann
Property
Value
dbo:
description
ספר
(iw)
книга
(uk)
Buch von Wilhelm Ackermann
(de)
boek van Wilhelm Ackermann
(nl)
book by Wilhelm Ackermann
(en)
libro de Wilhelm Ackermann
(es)
livre de Wilhelm Ackermann
(fr)
كتاب من تأليف ديفيد هيلبرت
(ar)
dbo:
wikiPageWikiLink
dbc
:History_of_logic
dbr
:Wilhelm_Ackermann
dbr
:Set_theory
dbr
:First-order_logic
dbr
:Liar_paradox
dbr
:Russell's_paradox
dbr
:Principia_Mathematica
dbc
:Logic_books
dbc
:1928_non-fiction_books
dbr
:Gödel's_completeness_theorem
dbc
:1938_non-fiction_books
dbr
:Alan_Turing
dbc
:Mathematics_textbooks
dbr
:David_Hilbert
dbr
:Kurt_Gödel
dbr
:Alonzo_Church
dbr
:Mathematical_logic
dbr
:Entscheidungsproblem
dbr
:Decision_problem
dbr
:Axiomatic_set_theory
dbr
:Peano_arithmetic
dbp:
wikiPageUsesTemplate
dbt
:Reflist
dbt
:Logic-stub
dbt
:ISBN
dbt
:Italic_title
dbt
:Google_books
dct:
subject
dbc
:History_of_logic
dbc
:Logic_books
dbc
:1928_non-fiction_books
dbc
:1938_non-fiction_books
dbc
:Mathematics_textbooks
gold:
hypernym
dbr
:Translation
rdfs:
label
Principles of Mathematical Logic
(en)
Principes de logique théorique
(fr)
Principles of Mathematical Logic
(pt)
owl:
sameAs
yago-res
:Principles of Mathematical Logic
freebase
:Principles of Mathematical Logic
wikidata
:Principles of Mathematical Logic
dbpedia-fr
:Principles of Mathematical Logic
dbpedia-pt
:Principles of Mathematical Logic
dbpedia-global
:Principles of Mathematical Logic
dbr
:Principles of Mathematical Logic
prov:
wasDerivedFrom
wikipedia-en
:Principles_of_Mathematical_Logic?oldid=1027030933&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Principles_of_Mathematical_Logic
is
dbo:
wikiPageRedirects
of
dbr
:Principles_of_Theoretical_Logic
dbr
:Principles_of_theoretical_logic
is
dbo:
wikiPageWikiLink
of
dbr
:Wilhelm_Ackermann
dbr
:Quantifier_(logic)
dbr
:First-order_logic
dbr
:Plankalkül
dbr
:1928_in_science
dbr
:Logic
dbr
:Index_of_philosophy_articles_(I–Q)
dbr
:Index_of_logic_articles
dbr
:Index_of_philosophical_literature
dbr
:David_Hilbert
dbr
:Kurt_Gödel
dbr
:Existential_graph
dbr
:Z3_(computer)
dbr
:Thoralf_Skolem
dbr
:Outline_of_logic
dbr
:Principles_of_Theoretical_Logic
dbr
:Principles_of_theoretical_logic
is
foaf:
primaryTopic
of
wikipedia-en
:Principles_of_Mathematical_Logic
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International