<http://experiment.worldcat.org/entity/work/data/885157#Topic/logika_pierwszego_rzedu> <http://schema.org/name> "Logika pierwszego rzędu." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/logika_pierwszego_rzedu> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/logica_fundamentos> <http://schema.org/name> "Lógica Fundamentos." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/logica_fundamentos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/logica> <http://schema.org/name> "Lògica." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/logica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/logica> <http://schema.org/name> "Lògica" .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/completude> <http://schema.org/name> "complétude." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/completude> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/deduction_naturelle> <http://schema.org/name> "déduction naturelle." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/deduction_naturelle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/logica_matematica> <http://schema.org/name> "Lògica matemàtica." .
<http://experiment.worldcat.org/entity/work/data/885157#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/885157#Topic/logica_matematica> <http://schema.org/name> "Lógica matemática." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/logica_matematica> <http://schema.org/name> "Logica matematica." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/logica_matematica> <http://schema.org/name> "Lògica matemàtica" .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/formele_logica> <http://schema.org/name> "Formele logica." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/formele_logica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/consistentie_logica> <http://schema.org/name> "Consistentie (logica)" .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/consistentie_logica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/metalogique> <http://schema.org/name> "métalogique." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/metalogique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/metalogik> <http://schema.org/name> "Metalogik." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/metalogik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/formele_talen> <http://schema.org/name> "Formele talen." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/formele_talen> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/logica_matematica> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/formele_talen> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/750660524> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/wiskundige_logica> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/431993713> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/911687754> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/logika_teoria> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85048595> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/807396071> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/154139> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/logica_de_primer_orden> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/799974178> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/logika_pierwszego_rzedu> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/36312727> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2632830457> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/610584362> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/681352642> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/749477390> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/849305521> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2674319847> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/603788327> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/name> "Metalógica : introducción a la metateoría de la lógica clásica de primer orden" .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/9541885> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/logique_du_premier_ordre> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/name> "Metalógica introducción a la metateoría de la lógica clásica de primer orden"@es .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/802025305> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/author> <http://worldcat.org/entity/person/id/2632141575> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2632141575> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://id.worldcat.org/fast/925803> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/299349851> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/mathematische_logica> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/802025303> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/651564517> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/name> "Metalogic : an introduction to the Metatheory of Standard First Order Logic" .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/name> "Metalogic : an Introduction to the Metatheory of Standard First Order Logic"@en .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/formele_logica> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/metatheorie> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/185710757> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/396183584> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/1614967> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/473301420> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/474849144> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/name> "Metalogic : an introd. to the metatheory of standard first order logic" .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/metamathematique> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/469022442> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/name> "Metalogic : an introduction to the metatheory of standard first order logic" .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/name> "Metalogic : an introduction to the metatheory of standard first order logic"@en .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/first_order_logic> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/metalogique> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/name> "Metalogic" .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/751197505> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/440571378> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/442469572> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/alternateName> "Metatheory of standard first order logic"@en .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/logica> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/completude> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/proposicion_logica> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/885157#Organization/macmillan_company> .
<http://worldcat.org/entity/work/id/885157> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/matematika_matematicna_logika> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/902287485> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/139234> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/60190964> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/29774128> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/consistentie_logica> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/851274482> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/857910527> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/fundamentele_informatica> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/name> "Metalógica : introducción a la metateoría de lógica clásica de primer orden" .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/631371899> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/name> "Metalogika : wstęp do metateorii standardowej logiki pierwszego rzędu"@pl .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/name> "Metalogic: an introduction to the metatheory of standard first order logic" .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/deduction_naturelle> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/name> "Metalogika : wstęp do metateorii standardowej logiki pierwszego rzędu" .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/716313140> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/logica_fundamentos> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/251894518> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/predicado_logica> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/804708926> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/logique_1er_ordre> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/name> "Metalogic : an introduction to the metatheory of standard first order Logic"@en .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/theorema_van_godel> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/metalogik> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/469440481> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/885157#Topic/calcul_propositionnel> .
<http://worldcat.org/entity/work/id/885157> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/860341601> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/name> "Metalogic an introduction to the metatheory of standard first order logic"@en .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/832736842> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/name> "Metalogic an introduction to the metatheory of standard first order logic" .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/912170465> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2641967293> .
<http://worldcat.org/entity/work/id/885157> <http://schema.org/workExample> <http://www.worldcat.org/oclc/490549919> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/wiskundige_logica> <http://schema.org/name> "Wiskundige logica." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/wiskundige_logica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/885157.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/885157> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/proposicion_logica> <http://schema.org/name> "Proposición (Lógica)" .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/proposicion_logica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/calcul_propositionnel> <http://schema.org/name> "calcul propositionnel." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/calcul_propositionnel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/logique_1er_ordre> <http://schema.org/name> "logique 1er ordre." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/logique_1er_ordre> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/fundamentele_informatica> <http://schema.org/name> "Fundamentele informatica." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/fundamentele_informatica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/logique_du_premier_ordre> <http://schema.org/name> "Logique du premier ordre." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/logique_du_premier_ordre> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/logica_de_primer_orden> <http://schema.org/name> "Lógica de primer orden." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/logica_de_primer_orden> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/predicado_logica> <http://schema.org/name> "Predicado (Lógica)" .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/predicado_logica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/theorema_van_godel> <http://schema.org/name> "Theorema van Gödel." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/theorema_van_godel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/first_order_logic> <http://schema.org/name> "First-order logic." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/first_order_logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/first_order_logic> <http://schema.org/name> "First-order logic" .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/metatheorie> <http://schema.org/name> "Metatheorie." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/metatheorie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/matematika_matematicna_logika> <http://schema.org/name> "matematika matematična logika." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/matematika_matematicna_logika> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/logika_teoria> <http://schema.org/name> "Logika teoria." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/logika_teoria> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Organization/macmillan_company> <http://schema.org/name> "Macmillan Company." .
<http://experiment.worldcat.org/entity/work/data/885157#Organization/macmillan_company> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/mathematische_logica> <http://schema.org/name> "Mathematische logica." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/mathematische_logica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/metamathematique> <http://schema.org/name> "métamathématique." .
<http://experiment.worldcat.org/entity/work/data/885157#Topic/metamathematique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .