<http://experiment.worldcat.org/entity/work/data/1277146#Topic/teoria_dowodu> <http://schema.org/name> "Teoria dowodu." .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/teoria_dowodu> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1277146#Organization/springerlink_service_en_ligne> <http://schema.org/name> "SpringerLink (Service en ligne)" .
<http://experiment.worldcat.org/entity/work/data/1277146#Organization/springerlink_service_en_ligne> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuicio> <http://schema.org/name> "Intuïció" .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuicio> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuicionisme_matematica> <http://schema.org/name> "Intuïcionisme (Matemàtica)" .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuicionisme_matematica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/mathematiques_intuitionnistes> <http://schema.org/name> "Mathématiques intuitionnistes." .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/mathematiques_intuitionnistes> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/teoria_della_dimostrazione> <http://schema.org/name> "Teoria della dimostrazione." .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/teoria_della_dimostrazione> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/mathematics_general> <http://schema.org/name> "Mathematics, general." .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/mathematics_general> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuizione_matematica> <http://schema.org/name> "Intuizione matematica." .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuizione_matematica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuitionistische_logik> <http://schema.org/name> "Intuitionistische Logik." .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuitionistische_logik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/logica_simbolica_y_matematica> <http://schema.org/name> "Lógica simbólica y matemática." .
<http://experiment.worldcat.org/entity/work/data/1277146#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/1277146#Topic/mathematics_methodology> <http://schema.org/name> "Mathematics Methodology." .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/mathematics_methodology> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1277146.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/1277146.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/1277146> .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/beweistheorie> <http://schema.org/name> "Beweistheorie." .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/beweistheorie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuitionnisme_mathematiques> <http://schema.org/name> "Intuitionnisme (Mathématiques)" .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuitionnisme_mathematiques> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/demostracio_teoria_de_la> <http://schema.org/name> "Demostració, Teoria de la." .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/demostracio_teoria_de_la> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/getaltheorie> <http://schema.org/name> "Getaltheorie." .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/getaltheorie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/nombres_theorie_des> <http://schema.org/name> "Nombres, Théorie des." .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/nombres_theorie_des> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/901246403> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuizione_matematica> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuitionnisme_mathematiques> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://id.worldcat.org/fast/1078942> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1277146#Topic/beweistheorie> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1277146#Topic/nombres_theorie_des> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1277146#Topic/getaltheorie> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2634250469> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1277146#Topic/mathematiques_intuitionnistes> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/472070984> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/802899046> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1277146#Topic/theorie_de_la_preuve> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/908968655> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/610012433> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1277146#Topic/bizonyitaselmelet> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/793077948> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuitionistische_logik> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1277146#Topic/preuve_theorie_de_la> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/466127618> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/300405355> .
<http://worldcat.org/entity/work/id/1277146> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1277146#Topic/teoria_della_dimostrazione> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1277146#Topic/logica> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/878745986> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1277146#Topic/mathematics_methodology> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/751081977> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/797328813> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/163941> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/author> <http://worldcat.org/entity/person/id/2634250469> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/888966403> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85107437> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://id.worldcat.org/fast/977860> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1277146#Topic/logica_simbolica_y_matematica> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1277146#Organization/springerlink_service_en_ligne> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1277146#Topic/mathematics_general> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/804634993> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1277146#Topic/zahlentheorie> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuicjonizm_matematyczny> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85082139> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/name> "Proof Theory and Intuitionistic Systems"@en .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/name> "Proof Theory and Intuitionistic Systems" .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/name> "Proof Theory and Intuitionistic Systems"@it .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/438408136> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/295025602> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://id.worldcat.org/fast/1012163> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1277146#Topic/demostracio_teoria_de_la> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuicio> .
<http://worldcat.org/entity/work/id/1277146> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/472258401> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/name> "Proof theory and intuitionistic systems" .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/name> "Proof theory and intuitionistic systems"@en .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2634250469> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1277146#Topic/teoria_dowodu> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuicionisme_matematica> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/workExample> <http://www.worldcat.org/oclc/645196424> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85067656> .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/genre> "Llibres electrònics" .
<http://worldcat.org/entity/work/id/1277146> <http://schema.org/genre> "Intuitionistisches System" .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/preuve_theorie_de_la> <http://schema.org/name> "Preuve, Théorie de la." .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/preuve_theorie_de_la> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/logica> <http://schema.org/name> "Logica." .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/logica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuicjonizm_matematyczny> <http://schema.org/name> "Intuicjonizm matematyczny." .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuicjonizm_matematyczny> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/theorie_de_la_preuve> <http://schema.org/name> "Théorie de la preuve." .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/theorie_de_la_preuve> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/zahlentheorie> <http://schema.org/name> "Zahlentheorie." .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/zahlentheorie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/bizonyitaselmelet> <http://schema.org/name> "Bizonyításelmélet." .
<http://experiment.worldcat.org/entity/work/data/1277146#Topic/bizonyitaselmelet> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .