<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logique_mathematique> <http://schema.org/name> "Logique mathématique." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logique_mathematique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logic> <http://schema.org/name> "Logic." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/modalite_logique> <http://schema.org/name> "Modalité (logique)" .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/modalite_logique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/modalite_logique> <http://schema.org/name> "Modalité (logique)." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/modalite_logique> <http://schema.org/name> "Modalité (Logique)" .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/deduction> <http://schema.org/name> "déduction." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/deduction> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/bewijstheorie> <http://schema.org/name> "Bewijstheorie." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/bewijstheorie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/deduktion> <http://schema.org/name> "Deduktion." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/deduktion> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/folgerung> <http://schema.org/name> "Folgerung." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/folgerung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/deduction_logique> <http://schema.org/name> "Déduction (Logique)" .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/deduction_logique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/modallogik> <http://schema.org/name> "Modallogik." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/modallogik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/metamathematics> <http://schema.org/name> "Metamathematics." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/metamathematics> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/deduction_naturelle_calcul_logique_preuve_theorie> <http://schema.org/name> "déduction naturelle (calcul logique) preuve - théorie." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/deduction_naturelle_calcul_logique_preuve_theorie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/modality_logic> <http://schema.org/name> "Modality (Logic)" .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/modality_logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logica> <http://schema.org/name> "Logica." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logica> <http://schema.org/name> "Lógica." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logic_symbolic_and_mathematical> <http://schema.org/name> "Logic, Symbolic and mathematical." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logic_symbolic_and_mathematical> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logica_simbolica_y_matematica> <http://schema.org/name> "Lógica simbólica y matemática." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logica_simbolica_y_matematica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/deductie> <http://schema.org/name> "Deductie." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/deductie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logica_matematica> <http://schema.org/name> "Logica matematica." .
<http://experiment.worldcat.org/entity/work/data/1464055#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/1464055#Topic/logica_matematica> <http://schema.org/name> "Lògica matemàtica." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logika> <http://schema.org/name> "Logika." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logika> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/modalnosc_logika> <http://schema.org/name> "Modalność (logika)." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/modalnosc_logika> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/name> "Natural deduction : A proof-theoretical study" .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/logik> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/503680952> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/logica_simbolica_y_matematica> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/modalnosc_logika> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/491659799> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/375477> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/466285559> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/modalite_logique> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/folgerung> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/name> "Natural deduction - a proof-theoretical study" .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078115> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/bewijstheorie> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/logique> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/633358029> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://id.worldcat.org/fast/1002014> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/logic> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/author> <http://worldcat.org/entity/person/id/2627013147> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/logica> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/logica_matematica> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/logika> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/859813710> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/metamathematics> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/460780715> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/483305034> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://id.worldcat.org/fast/1002068> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/471696387> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/name> "Natural Deduction. A proof-theoretical study"@en .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/912927896> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://worldcat.org/entity/person/id/2636928653> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/modallogik> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/name> "Natural deduction : a proof-theoretical study"@en .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/name> "Natural deduction : a proof-theoretical study" .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/deduktion> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/251815126> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/modality_logic> .
<http://worldcat.org/entity/work/id/1464055> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Thesis> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/gentzen_gerhard> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/name> "Natural Deduction; A Proof-Theoretical Study"@en .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/logique_mathematique> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/modalita_logica> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85086410> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://worldcat.org/entity/person/id/2645290943> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/299874086> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/878748776> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/913088291> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/751007804> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/807079832> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/185780679> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/name> "Natural deduction; a proof-theoretical study" .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/799168200> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/name> "NATURAL DEDUCTION : A Proof-Theoretical Study"@it .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/logique_symbolique_et_mathematique> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/name> "Natural deduction a proof-theoretical study" .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/name> "Natural deduction a proof-theoretical study"@en .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/deduction> .
<http://worldcat.org/entity/work/id/1464055> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078106> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2627013147> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/624578390> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/835597968> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/deduction_logique> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/636224185> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/logic_symbolic_and_mathematical> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/name> "Natural deduction" .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/469862722> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/906062571> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/868519350> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/864743084> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/mathematische_logik> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2627013147> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/deductie> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/metamatematica> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/644506638> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/logika_symboliczna_i_matematyczna> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/workExample> <http://www.worldcat.org/oclc/61296001> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://id.worldcat.org/fast/1024350> .
<http://worldcat.org/entity/work/id/1464055> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1464055#Topic/deduction_naturelle_calcul_logique_preuve_theorie> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logique_symbolique_et_mathematique> <http://schema.org/name> "Logique symbolique et mathématique." .
<http://experiment.worldcat.org/entity/work/data/1464055#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/1464055.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/1464055.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/1464055> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logik> <http://schema.org/name> "Logik." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logika_symboliczna_i_matematyczna> <http://schema.org/name> "Logika symboliczna i matematyczna." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logika_symboliczna_i_matematyczna> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/modalita_logica> <http://schema.org/name> "Modalità (Logica)" .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/modalita_logica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/gentzen_gerhard> <http://schema.org/name> "Gentzen, Gerhard." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/gentzen_gerhard> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/mathematische_logik> <http://schema.org/name> "Mathematische Logik." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/mathematische_logik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logique> <http://schema.org/name> "logique." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/logique> <http://schema.org/name> "Logique." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/metamatematica> <http://schema.org/name> "Metamatemática." .
<http://experiment.worldcat.org/entity/work/data/1464055#Topic/metamatematica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .