<http://experiment.worldcat.org/entity/work/data/2210419#Topic/logika_symboliczna_i_matematyczna> <http://schema.org/name> "Logika symboliczna i matematyczna." .
<http://experiment.worldcat.org/entity/work/data/2210419#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/2210419.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/2210419.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/2210419> .
<http://experiment.worldcat.org/entity/work/data/2210419#Topic/logika_matematyczna> <http://schema.org/name> "Logika matematyczna." .
<http://experiment.worldcat.org/entity/work/data/2210419#Topic/logika_matematyczna> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/2210419> <http://schema.org/workExample> <http://www.worldcat.org/oclc/473943030> .
<http://worldcat.org/entity/work/id/2210419> <http://schema.org/workExample> <http://www.worldcat.org/oclc/751170423> .
<http://worldcat.org/entity/work/id/2210419> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/2210419#Topic/metamatematyka> .
<http://worldcat.org/entity/work/id/2210419> <http://schema.org/about> <http://id.worldcat.org/fast/1079268> .
<http://worldcat.org/entity/work/id/2210419> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/2210419#Topic/logika_matematyczna> .
<http://worldcat.org/entity/work/id/2210419> <http://schema.org/name> "Formally self-referential propositions for cut free classical analysis and related system" .
<http://worldcat.org/entity/work/id/2210419> <http://schema.org/workExample> <http://www.worldcat.org/oclc/1327058> .
<http://worldcat.org/entity/work/id/2210419> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/2210419#Topic/logika_symboliczna_i_matematyczna> .
<http://worldcat.org/entity/work/id/2210419> <http://schema.org/workExample> <http://www.worldcat.org/oclc/246216180> .
<http://worldcat.org/entity/work/id/2210419> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85093237> .
<http://worldcat.org/entity/work/id/2210419> <http://schema.org/workExample> <http://www.worldcat.org/oclc/849270331> .
<http://worldcat.org/entity/work/id/2210419> <http://schema.org/workExample> <http://www.worldcat.org/oclc/67468232> .
<http://worldcat.org/entity/work/id/2210419> <http://schema.org/about> <http://id.worldcat.org/fast/1041273> .
<http://worldcat.org/entity/work/id/2210419> <http://schema.org/name> "Formally self-referential propositions for cut free classical analysis and related systems" .
<http://worldcat.org/entity/work/id/2210419> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85107552> .
<http://worldcat.org/entity/work/id/2210419> <http://schema.org/name> "Formally self-referential propositions for cut free classical analysis and related systems"@en .
<http://worldcat.org/entity/work/id/2210419> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/2210419> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078115> .
<http://worldcat.org/entity/work/id/2210419> <http://schema.org/about> <http://id.worldcat.org/fast/1002068> .
<http://worldcat.org/entity/work/id/2210419> <http://schema.org/author> <http://worldcat.org/entity/person/id/2634376160> .
<http://worldcat.org/entity/work/id/2210419> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2634376160> .
<http://worldcat.org/entity/work/id/2210419> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2641304637> .
<http://experiment.worldcat.org/entity/work/data/2210419#Topic/metamatematyka> <http://schema.org/name> "Metamatematyka." .
<http://experiment.worldcat.org/entity/work/data/2210419#Topic/metamatematyka> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .