<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/896167734> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/246075190> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/472169327> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/863415626> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/name> "The Monadic Second Order Theory of All : Countable Ordinals" .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1638997#Topic/mathematiques> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85055601> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1638997#Topic/theoreme_de_godel> .
<http://worldcat.org/entity/work/id/1638997> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/849795848> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1638997#Topic/logica_simbolica> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2642484641> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/637255403> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1638997#Topic/logica_matematica> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1638997#Topic/mathematische_logica> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/genre> "Monadische Theorie" .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1638997#Topic/decidibilidad_logica_matematica> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1638997#Topic/twierdzenie_godla> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/848967277> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2720267700> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1638997#Topic/godel_teorema_de> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/901687413> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/707566> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1638997#Topic/logica_simbolica_y_matematica> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1638997#Topic/ordinalzahl> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/833057559> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/751046193> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1638997#Topic/decidabilite_logique_mathematique> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/878090921> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/296161209> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1638997#Topic/mathematische_logik> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/name> "The Monadic second order theory of all countable ordinals" .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1638997#Topic/abzahltheorie> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1638997#Topic/modeles_theorie_des> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/name> "The monadic second order theorie of all countable ordinals" .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/472067636> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/author> <http://worldcat.org/entity/person/id/2638035873> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/490044096> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/733953332> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1638997#Topic/buchis_entscheidungsverfahren> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1638997#Topic/godel_theoreme_de> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/name> "The monadic second order theory of all countable ordinals : = decidable theories II" .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1638997#Organization/springerlink_service_en_ligne> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2640435276> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2638035873> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/716449290> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://id.worldcat.org/fast/949806> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://id.worldcat.org/fast/1024368> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/797317259> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/name> "The monadic second order theory of all countable ordinals" .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/name> "The monadic second order theory of all countable ordinals"@en .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/802898632> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1638997#Topic/models_teoria_dels> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2642484641> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/610012821> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1638997#Topic/theorie_des_modeles> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/author> <http://worldcat.org/entity/person/id/2642484641> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/695461574> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1638997#Topic/teoria_modeli> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85086421> .
<http://worldcat.org/entity/work/id/1638997> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/name> "The monadic second order theory of all countable ordinals : (Decidable theories, II)"@en .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1638997#Topic/teorema_de_godel> .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/name> "The monadie second order theory of all countable ordinals" .
<http://worldcat.org/entity/work/id/1638997> <http://schema.org/workExample> <http://www.worldcat.org/oclc/612119442> .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/godel_theoreme_de> <http://schema.org/name> "Gödel, Théorème de." .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/godel_theoreme_de> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/buchis_entscheidungsverfahren> <http://schema.org/name> "Büchis Entscheidungsverfahren." .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/buchis_entscheidungsverfahren> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1638997.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/1638997.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/1638997> .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/mathematiques> <http://schema.org/name> "Mathématiques." .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/mathematiques> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/mathematische_logik> <http://schema.org/name> "Mathematische Logik." .
<http://experiment.worldcat.org/entity/work/data/1638997#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/1638997#Topic/logica_simbolica> <http://schema.org/name> "Logica simbolica." .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/logica_simbolica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/godel_teorema_de> <http://schema.org/name> "Gödel, Teorema de." .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/godel_teorema_de> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/decidabilite_logique_mathematique> <http://schema.org/name> "Décidabilité (Logique mathématique)" .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/decidabilite_logique_mathematique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/logica_matematica> <http://schema.org/name> "Logica Matematica." .
<http://experiment.worldcat.org/entity/work/data/1638997#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/1638997#Topic/logica_simbolica_y_matematica> <http://schema.org/name> "Lógica simbólica y matemática." .
<http://experiment.worldcat.org/entity/work/data/1638997#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/1638997#Topic/decidibilidad_logica_matematica> <http://schema.org/name> "Decidibilidad (Lógica matemática)" .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/decidibilidad_logica_matematica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/ordinalzahl> <http://schema.org/name> "Ordinalzahl." .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/ordinalzahl> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/ordinalzahl> <http://schema.org/name> "Ordinalzahl" .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/modeles_theorie_des> <http://schema.org/name> "Modèles, Théorie des." .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/modeles_theorie_des> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/mathematische_logica> <http://schema.org/name> "Mathematische logica." .
<http://experiment.worldcat.org/entity/work/data/1638997#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/1638997#Topic/abzahltheorie> <http://schema.org/name> "Abzähltheorie." .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/abzahltheorie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/teorema_de_godel> <http://schema.org/name> "Teorema de Gödel" .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/teorema_de_godel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1638997#Organization/springerlink_service_en_ligne> <http://schema.org/name> "SpringerLink (Service en ligne)" .
<http://experiment.worldcat.org/entity/work/data/1638997#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/1638997#Topic/theorie_des_modeles> <http://schema.org/name> "Théorie des modèles." .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/theorie_des_modeles> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/theoreme_de_godel> <http://schema.org/name> "Théorème de Gödel." .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/theoreme_de_godel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/teoria_modeli> <http://schema.org/name> "Teoria modeli." .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/teoria_modeli> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/twierdzenie_godla> <http://schema.org/name> "Twierdzenie Gödla." .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/twierdzenie_godla> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/models_teoria_dels> <http://schema.org/name> "Models, Teoria dels." .
<http://experiment.worldcat.org/entity/work/data/1638997#Topic/models_teoria_dels> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .