<http://www.sudoc.fr/018582036/id>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://purl.org/ontology/bibo/Document> .
<http://www.sudoc.fr/018582036/id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/08206217X/id> .
<http://www.sudoc.fr/018582036/id>	<http://www.abes.fr/vocabularies/sudoc/holdingsCount>	"14"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://www.sudoc.fr/018582036/id>	<http://purl.org/dc/terms/bibliographicCitation>	"Two applications of logic to mathematics  / by Gaisi Takeuti / [Tokyo] : Iwanami Shoten , 1978" .
<http://www.sudoc.fr/018582036/id>	<http://purl.org/dc/terms/subject>	<http://www.idref.fr/027837785/id> .
<http://www.sudoc.fr/018582036/id>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://purl.org/ontology/bibo/Book> .
<http://www.sudoc.fr/018582036/id>	<http://purl.org/dc/elements/1.1/date>	"1978"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://www.sudoc.fr/018582036/id>	<http://purl.org/dc/terms/subject>	<http://www.idref.fr/027662799/id> .