Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/Book
http://schema.org/CreativeWork

http://schema.org/about

http://id.worldcat.org/fast/1002068
http://experiment.worldcat.org/entity/work/data/3950502#Topic/logique_algebrique_congres
http://experiment.worldcat.org/entity/work/data/3950502#Topic/insiemi_teoria_congressi_aachen_1983
http://experiment.worldcat.org/entity/work/data/3950502#Topic/set_theory_congresses
http://experiment.worldcat.org/entity/work/data/3950502#Topic/set_theory
http://experiment.worldcat.org/entity/work/data/3950502#Topic/model_theory
http://experiment.worldcat.org/entity/work/data/3950502#Topic/logic_symbolic_and_mathematical_congresses
http://experiment.worldcat.org/entity/work/data/3950502#Topic/preuve_theorie_de_la_congres
http://experiment.worldcat.org/entity/work/data/3950502#Topic/ensembles_theorie_des_congres
http://experiment.worldcat.org/entity/work/data/3950502#Topic/logica_simbolica_congressi_aachen_1983
http://experiment.worldcat.org/entity/work/data/3950502#Topic/logique_symbolique_et_mathematique_congres
http://id.loc.gov/authorities/subjects/sh2008107112
http://experiment.worldcat.org/entity/work/data/3950502#Topic/modeles_theorie_des_congres
http://experiment.worldcat.org/entity/work/data/3950502#Topic/logic_symbolic_and_mathematical
http://experiment.worldcat.org/entity/work/data/3950502#Topic/model_theory_congresses

http://schema.org/alternateName

"Models and sets"
"Computation and proof theory"

http://schema.org/contributor

http://experiment.worldcat.org/entity/work/data/3950502#Meeting/logic_colloquium_1983_aachen
http://worldcat.org/entity/person/id/2642253990
http://worldcat.org/entity/person/id/2628640883
http://experiment.worldcat.org/entity/work/data/3950502#Meeting/logic_colloquium_18_23_07_1983_aachen
http://worldcat.org/entity/person/id/2640378511
http://worldcat.org/entity/person/id/2640435276
http://experiment.worldcat.org/entity/work/data/3950502#Organization/springerlink_service_en_ligne

http://schema.org/creator

http://experiment.worldcat.org/entity/work/data/3950502#Meeting/logic_colloquium_1983_aachen
http://experiment.worldcat.org/entity/work/data/3950502#Meeting/logic_colloquium_1983_aix_la_chapelle_allemagne
http://experiment.worldcat.org/entity/work/data/3950502#Meeting/logic_colloquium_aachen_1983
http://experiment.worldcat.org/entity/work/data/3950502#Meeting/logic_colloquium_1983_aachen_germany
http://experiment.worldcat.org/entity/work/data/3950502#Organization/logic_colloquium

http://schema.org/editor

http://worldcat.org/entity/person/id/2640435276
http://worldcat.org/entity/person/id/2628640883

http://schema.org/genre

"Electronic books"@en
"Conference papers and proceedings"
"Conference proceedings"@en

http://schema.org/name

"Proceedings of the logic colloquium"
"Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983"
"Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983"
"Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983"@en
"Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983"

http://schema.org/workExample

http://www.worldcat.org/oclc/797324793
http://www.worldcat.org/oclc/781616450
http://www.worldcat.org/oclc/859789701
http://www.worldcat.org/oclc/610011120
http://www.worldcat.org/oclc/423231617
http://www.worldcat.org/oclc/873523811
http://www.worldcat.org/oclc/873315114
http://www.worldcat.org/oclc/472107844
http://www.worldcat.org/oclc/474387779
http://www.worldcat.org/oclc/298169118
http://www.worldcat.org/oclc/637111336
http://www.worldcat.org/oclc/11518968

Logic Colloquium (18/23-07-1983 : Aachen)

This is a placeholder reference for a Meeting entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Logic Colloquium (18/23-07-1983 : Aachen)"

http://experiment.worldcat.org/entity/work/data/3950502#Meeting/logic_colloquium_18_23_07_1983_aachen

Logic colloquium ((1983 : Aachen))

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Logic colloquium ((1983 : Aachen))"
"Logic Colloquium (1983 : Aachen)"

http://experiment.worldcat.org/entity/work/data/3950502#Meeting/logic_colloquium_1983_aachen

Logic Colloquium (1983 : Aachen, Germany)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Logic Colloquium (1983 : Aachen, Germany)"

http://experiment.worldcat.org/entity/work/data/3950502#Meeting/logic_colloquium_1983_aachen_germany

Logic Colloquium (1983 : Aix-la-Chapelle, Allemagne)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Logic Colloquium (1983 : Aix-la-Chapelle, Allemagne)"

http://experiment.worldcat.org/entity/work/data/3950502#Meeting/logic_colloquium_1983_aix_la_chapelle_allemagne

Logic colloquium, Aachen, 1983.

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Logic colloquium, Aachen, 1983."

http://experiment.worldcat.org/entity/work/data/3950502#Meeting/logic_colloquium_aachen_1983

Logic Colloquium

This is a placeholder reference for a Organization entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Organization
schema:name
"Logic Colloquium"

http://experiment.worldcat.org/entity/work/data/3950502#Organization/logic_colloquium

SpringerLink (Service en ligne)

rdf:type
http://schema.org/Organization
schema:name
"SpringerLink (Service en ligne)"

http://experiment.worldcat.org/entity/work/data/3950502#Organization/springerlink_service_en_ligne

Ensembles, Théorie des Congrès.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Ensembles, Théorie des Congrès."