<http://www.sudoc.fr/02123809X/id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/032441851/id> .
<http://www.sudoc.fr/02123809X/id>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://purl.org/ontology/bibo/Document> .
<http://www.sudoc.fr/02123809X/id>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://purl.org/ontology/bibo/Book> .
<http://www.sudoc.fr/02123809X/id>	<http://purl.org/dc/terms/subject>	<http://www.idref.fr/032993684/id> .
<http://www.sudoc.fr/02123809X/id>	<http://purl.org/dc/elements/1.1/date>	"1967"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://www.sudoc.fr/02123809X/id>	<http://purl.org/dc/terms/bibliographicCitation>	"\u0098A \u009Ccompleteness theorem and a computer program for finding theorems derivable from given axioms  / Char-tung Lee / Ann Arbor, Mic : University Microfilms , 1967" .
<http://www.sudoc.fr/02123809X/id>	<http://www.abes.fr/vocabularies/sudoc/holdingsCount>	"1"^^<http://www.w3.org/2001/XMLSchema#integer> .