<http://experiment.worldcat.org/entity/work/data/34592570#Topic/logica_matematica> <http://schema.org/name> "Logica matematica." .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/logica_matematica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/34592570.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/34592570.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/34592570> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/workExample> <http://www.worldcat.org/oclc/807293750> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078106> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/34592570#Topic/logisch_programmeren> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/genre> "Ressources Internet" .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/name> "Labelled deductive systems" .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/name> "Labelled deductive systems"@it .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/name> "Labelled deductive systems"@en .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/name> "Labelled Deductive Systems" .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/workExample> <http://www.worldcat.org/oclc/772020524> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2632231902> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/workExample> <http://www.worldcat.org/oclc/797417559> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/workExample> <http://www.worldcat.org/oclc/757510497> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/workExample> <http://www.worldcat.org/oclc/249351634> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/workExample> <http://www.worldcat.org/oclc/75697572> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/workExample> <http://www.worldcat.org/oclc/806104823> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/34592570#Topic/logica_matematica> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/34592570#Topic/logique_informatique> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/workExample> <http://www.worldcat.org/oclc/645285293> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/34592570#Topic/mathematische_logik> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/workExample> <http://www.worldcat.org/oclc/252676859> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/34592570#Topic/axiomatik> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/34592570> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/34592570#Topic/logica> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/34592570#Topic/logique> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/about> <http://id.worldcat.org/fast/1002014> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2661552510> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/workExample> <http://www.worldcat.org/oclc/860601966> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/34592570#Topic/logique_symbolique_et_mathematique> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/workExample> <http://www.worldcat.org/oclc/34943274> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/workExample> <http://www.worldcat.org/oclc/645285292> .
<http://worldcat.org/entity/work/id/34592570> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/author> <http://worldcat.org/entity/person/id/2632231902> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/workExample> <http://www.worldcat.org/oclc/849273890> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/workExample> <http://www.worldcat.org/oclc/782523994> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/34592570#Topic/systeme_deductif> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/workExample> <http://www.worldcat.org/oclc/613833740> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/workExample> <http://www.worldcat.org/oclc/476222402> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/workExample> <http://www.worldcat.org/oclc/468576699> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/34592570#Topic/deduktionssystem> .
<http://worldcat.org/entity/work/id/34592570> <http://schema.org/workExample> <http://www.worldcat.org/oclc/300426474> .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/logique> <http://schema.org/name> "Logique." .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/logique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/logique> <http://schema.org/name> "logique." .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/logica> <http://schema.org/name> "Logica." .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/logica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/logica> <http://schema.org/name> "Lògica." .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/logica> <http://schema.org/name> "Lógica." .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/logisch_programmeren> <http://schema.org/name> "Logisch programmeren." .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/logisch_programmeren> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/logique_informatique> <http://schema.org/name> "Logique (Informatique)" .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/logique_informatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/systeme_deductif> <http://schema.org/name> "Système déductif." .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/systeme_deductif> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/axiomatik> <http://schema.org/name> "Axiomatik." .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/axiomatik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/logique_symbolique_et_mathematique> <http://schema.org/name> "Logique symbolique et mathématique." .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/logique_symbolique_et_mathematique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/deduktionssystem> <http://schema.org/name> "Deduktionssystem." .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/deduktionssystem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/mathematische_logik> <http://schema.org/name> "Mathematische Logik." .
<http://experiment.worldcat.org/entity/work/data/34592570#Topic/mathematische_logik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .