<http://www.sudoc.fr/010746250/id>	<http://purl.org/dc/terms/subject>	<http://www.idref.fr/02733015X/id> .
<http://www.sudoc.fr/010746250/id>	<http://www.abes.fr/vocabularies/sudoc/holdingsCount>	"17"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://www.sudoc.fr/010746250/id>	<http://purl.org/dc/terms/subject>	<http://www.idref.fr/027440850/id> .
<http://www.sudoc.fr/010746250/id>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://purl.org/ontology/bibo/Book> .
<http://www.sudoc.fr/010746250/id>	<http://purl.org/dc/terms/bibliographicCitation>	"Automata and computability  / Dexter C. Kozen / New York : Springer" .
<http://www.sudoc.fr/010746250/id>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://purl.org/ontology/bibo/Document> .
<http://www.sudoc.fr/010746250/id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/058606610/id> .
<http://www.sudoc.fr/010746250/id>	<http://purl.org/dc/terms/subject>	<http://www.idref.fr/027831655/id> .
<http://www.sudoc.fr/010746250/id>	<http://purl.org/dc/terms/subject>	<http://www.idref.fr/027551261/id> .