<http://experiment.worldcat.org/entity/work/data/137905225.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/137905225.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/137905225> .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/calculo_de_predicados> <http://schema.org/name> "Cálculo de predicados." .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/calculo_de_predicados> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/predicate_calculus> <http://schema.org/name> "Predicate calculus." .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/predicate_calculus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/calcul_des_predicats> <http://schema.org/name> "Calcul des prédicats." .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/calcul_des_predicats> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/bizonyitaselmelet> <http://schema.org/name> "Bizonyításelmélet." .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/bizonyitaselmelet> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/estructuras_calculo> <http://schema.org/name> "Estructuras Cálculo." .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/estructuras_calculo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/alternateName> "Permutability of inferences in Gentzen's calculi LK and LJ" .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/247065701> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/884584295> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2641857745> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/899068016> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/contributor> <http://viaf.org/viaf/134278902> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/868212521> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/663675396> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/name> "Two Papers on the Predicate Calculus"@en .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/137905225#Topic/calcul_des_predicats> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/about> <http://id.worldcat.org/fast/844119> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/137905225#Topic/calculo_de_predicados> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/473942921> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/652385131> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/911324785> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/author> <http://worldcat.org/entity/person/id/2641857745> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/137905225#Topic/estructuras_calculo> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/867451349> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/137905225#Organization/american_mathematical_society> .
<http://worldcat.org/entity/work/id/137905225> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/310795170> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/137905225#Topic/logica_matematica> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/12065399> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/alternateName> "2 papers on the predicate calculus"@en .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n79060639> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/439049182> .
<http://worldcat.org/entity/work/id/137905225> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/851085869> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/1316616> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/137905225#Topic/bizonyitaselmelet> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2712633041> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/genre> "Electronic books" .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/248343992> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/137905225#Topic/calcul> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/312901241> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/891518585> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/892119101> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/alternateName> "Permutability of inferences in Gentzen's calculi Lk and LJ"@en .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/6702075> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/221907051> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/802113912> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/715581728> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/137905225#Topic/pradikatenkalkul> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85106251> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/24458563> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/758832581> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/137905225#Topic/logika> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/137905225#Topic/pradikatenlogik> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/name> "Two papers on the predicate calculus : finite Axiomatizability of theories in the predicate calculus using additional predicate symbols"@en .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/137905225#Topic/calcul_de_predication> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/909084728> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/433304427> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/848898640> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/alternateName> "Finite Axiomatizability of theories in the predicate calculus using additional predicate symbols"@en .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/623569278> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/654560557> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/637166781> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/472348144> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/alternateName> "Finite axiomatizability of theories in the predicate calculus using additional predicate symbols" .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2641857745> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/name> "Two Papers on the predicate calculus" .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/804541698> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/258593966> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/137905225#Topic/calculus> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/name> "Two papers on the predicate calculus"@en .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/name> "Two papers on the predicate calculus" .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/422027128> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/137905225#Topic/prediction> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/252343951> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/716606108> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/137905225#Topic/predicate_calculus> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/about> <http://id.worldcat.org/fast/1075023> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/workExample> <http://www.worldcat.org/oclc/11143089> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/137905225#Topic/logika_symboliczna_i_matematyczna> .
<http://worldcat.org/entity/work/id/137905225> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85018802> .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/calculus> <http://schema.org/name> "Calculus." .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/calculus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/calculus> <http://schema.org/name> "Calculus" .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/logica_matematica> <http://schema.org/name> "Lògica matemàtica." .
<http://experiment.worldcat.org/entity/work/data/137905225#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/137905225#Topic/calcul_de_predication> <http://schema.org/name> "Calcul de prédication." .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/calcul_de_predication> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/prediction> <http://schema.org/name> "Prédiction." .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/prediction> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/logika_symboliczna_i_matematyczna> <http://schema.org/name> "Logika symboliczna i matematyczna." .
<http://experiment.worldcat.org/entity/work/data/137905225#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/137905225#Topic/pradikatenlogik> <http://schema.org/name> "Prädikatenlogik." .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/pradikatenlogik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/pradikatenkalkul> <http://schema.org/name> "Prädikatenkalkül." .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/pradikatenkalkul> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/calcul> <http://schema.org/name> "Calcul." .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/calcul> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/137905225#Organization/american_mathematical_society> <http://schema.org/name> "American Mathematical Society." .
<http://experiment.worldcat.org/entity/work/data/137905225#Organization/american_mathematical_society> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/logika> <http://schema.org/name> "Logika." .
<http://experiment.worldcat.org/entity/work/data/137905225#Topic/logika> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .