{"@context":{"owl":"http://www.w3.org/2002/07/owl#","bibo":"http://purl.org/ontology/bibo/","foaf":"http://xmlns.com/foaf/0.1/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/"},"@id":"https://ci.nii.ac.jp/ncid/BC04278878.json","@graph":[{"@id":"https://ci.nii.ac.jp/ncid/BC04278878#entity","@type":"bibo:Book","foaf:isPrimaryTopicOf":{"@id":"https://ci.nii.ac.jp/ncid/BC04278878.json"},"dc:title":[{"@value":"Kurt Gödel and the foundations of mathematics : horizons of truth"}],"dc:creator":"edited by Matthias Baaz ... [et al.]","dc:publisher":[{"@value":"Cambridge University Press"}],"dcterms:extent":"xxiii, 515 p.","cinii:size":"26 cm","dc:language":"eng","dc:date":"2014","cinii:ncid":"BC04278878","cinii:ownerCount":"1","foaf:maker":[{"@id":"https://ci.nii.ac.jp/author/DA00112751#entity","@type":"foaf:Person","foaf:name":[{"@value":"Gödel, Kurt"}]},{"@id":"https://ci.nii.ac.jp/author/DA17519899#entity","@type":"foaf:Person","foaf:name":[{"@value":"Baaz, Matthias"}]},{"@type":"foaf:Person","foaf:name":[{"@value":"Papadimitriou, Christos H."}]},{"@type":"foaf:Person","foaf:name":[{"@value":"Putnam, Hilary W."}]},{"@type":"foaf:Person","foaf:name":[{"@value":"Scott, Dana S."}]},{"@type":"foaf:Person","foaf:name":[{"@value":"Harper, Charles L."}]}],"bibo:owner":[{"@id":"https://ci.nii.ac.jp/library/FA003035","@type":"foaf:Organization","foaf:name":"神戸大学 附属図書館 自然科学系図書館","rdfs:seeAlso":{"@id":"https://op.lib.kobe-u.ac.jp/opac/opac_openurl/?rfe_dat=ncid/BC04278878"}}],"prism:publicationDate":["2014, c2011"],"cinii:note":["Other editors: Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr","Includes bibliographical references and index","\"First published 2011, First paperback edition 2014\"--T.p. verso"],"dc:subject":["LCC:QA9.65","DC22:511.3"],"foaf:topic":[{"@id":"https://ci.nii.ac.jp/books/search?q=G%C3%B6del%27s+theorem","dc:title":"Gödel's theorem"},{"@id":"https://ci.nii.ac.jp/books/search?q=Mathematics+--+Philosophy","dc:title":"Mathematics -- Philosophy"},{"@id":"https://ci.nii.ac.jp/books/search?q=G%C3%B6del%2C+Kurt","dc:title":"Gödel, Kurt"},{"@id":"https://ci.nii.ac.jp/books/search?q=MATHEMATICS+%2F+Logic+bisacsh","dc:title":"MATHEMATICS / Logic bisacsh"}],"dcterms:hasPart":[{"@id":"urn:isbn:9781107677999","dc:title":": pbk"}]}]}