Mathematical interpretation of formal systems

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

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

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/352364745#Topic/mathematische_logica
http://experiment.worldcat.org/entity/work/data/352364745#Topic/logica_simbolica
http://experiment.worldcat.org/entity/work/data/352364745#Topic/teoria_de_models
http://experiment.worldcat.org/entity/work/data/352364745#Topic/logica_simbolica_y_matematica_congresos
http://experiment.worldcat.org/entity/work/data/352364745#Topic/mathematik
http://experiment.worldcat.org/entity/work/data/352364745#Topic/logique_symbolique_et_mathematique
http://experiment.worldcat.org/entity/work/data/352364745#Topic/logika_szimbolikus
http://experiment.worldcat.org/entity/work/data/352364745#Topic/logique_symbolique_et_mathematique_congres
http://experiment.worldcat.org/entity/work/data/352364745#Topic/matematikai_logika
http://experiment.worldcat.org/entity/work/data/352364745#Topic/logika_symboliczna_i_matematyczna_konferencje
http://experiment.worldcat.org/entity/work/data/352364745#Topic/formale_methode
http://experiment.worldcat.org/entity/work/data/352364745#Topic/mathematische_logik
http://id.worldcat.org/fast/1002068
http://id.loc.gov/authorities/subjects/sh85078115
http://id.loc.gov/authorities/subjects/sh2008107112
http://experiment.worldcat.org/entity/work/data/352364745#Topic/logica_matematica

http://schema.org/author

http://worldcat.org/entity/person/id/2676363063
http://worldcat.org/entity/person/id/2654728271
http://worldcat.org/entity/person/id/2630644472
http://worldcat.org/entity/person/id/2641304637
http://worldcat.org/entity/person/id/2637250500
http://worldcat.org/entity/person/id/2636351046
http://worldcat.org/entity/person/id/2692821850

http://schema.org/contributor

http://experiment.worldcat.org/entity/work/data/352364745#Meeting/symposion_on_mathematical_interpretation_of_formal_systems_1954_amsterdam
http://worldcat.org/entity/person/id/2636351046
http://worldcat.org/entity/person/id/2641304637
http://worldcat.org/entity/person/id/2745463724
http://experiment.worldcat.org/entity/work/data/352364745#Meeting/symposion_on_mathematical_interpretation_of_formal_systems_amsterdam_09_10_09_1954
http://worldcat.org/entity/person/id/2637250500
http://worldcat.org/entity/person/id/2676363063
http://worldcat.org/entity/person/id/2630644472
http://worldcat.org/entity/person/id/2654728271
http://experiment.worldcat.org/entity/work/data/352364745#Organization/mathematical_society_amsterdam
http://experiment.worldcat.org/entity/work/data/352364745#Organization/wiskundig_genootschap_de_zinspreuk_een_onvermoeide_arbeid_komt_alles_te_boven_amsterdam
http://experiment.worldcat.org/entity/work/data/352364745#Meeting/symposion_on_mathematical_interpretation_of_formal_systems_1954_amsterdam_paises_bajos
http://worldcat.org/entity/person/id/2692821850
http://experiment.worldcat.org/entity/work/data/352364745#Organization/wiskundig_genootschap

http://schema.org/creator

http://worldcat.org/entity/person/id/2636351046
http://experiment.worldcat.org/entity/work/data/352364745#Organization/wiskundig_genootschap_onder_de_zinspreuk_een_onvermoeide_arbeid_komt_alles_te_boven_amsterdam
http://id.loc.gov/authorities/names/n84805681
http://viaf.org/viaf/126534151
http://experiment.worldcat.org/entity/work/data/352364745#Meeting/wiskundig_genootschap_onder_de_zinspreuk_een_onvermoeide_arbeid_komt_alles_te_boven_amsterdam

http://schema.org/genre

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

http://schema.org/name

"Mathematical interpretation of formal systems : [Symposion on "Mathematical interpretation of formal systems"at Amsterdam on September 9 and 10, 1954]"
"Mathematical interpretation of formal systems"
"Mathematical interpretation of formal systems"@en
"Mathematical interpretation of formal systems : [lectures, held at the symposion on "Mathematical interpretation of formal systems" which was organized by the "Wiskundig genootschap" (Mathematical society) at Amsterdam on September 9 and 10, 1954]"
"Mathematical Interpretation of formal systems"

http://schema.org/workExample

http://www.worldcat.org/oclc/781256628
http://www.worldcat.org/oclc/297421286
http://www.worldcat.org/oclc/644844231
http://www.worldcat.org/oclc/801946766
http://www.worldcat.org/oclc/644735846
http://www.worldcat.org/oclc/1018390
http://www.worldcat.org/oclc/250924546
http://www.worldcat.org/oclc/751083415
http://www.worldcat.org/oclc/844602769
http://www.worldcat.org/oclc/797327591
http://www.worldcat.org/oclc/471747635
http://www.worldcat.org/oclc/439555517
http://www.worldcat.org/oclc/180017491
http://www.worldcat.org/oclc/185691356
http://www.worldcat.org/oclc/716231425
http://www.worldcat.org/oclc/11521927
http://www.worldcat.org/oclc/640725998
http://www.worldcat.org/oclc/909677137
http://www.worldcat.org/oclc/802749754
http://www.worldcat.org/oclc/715898473
http://www.worldcat.org/oclc/248107
http://www.worldcat.org/oclc/901249526
http://www.worldcat.org/oclc/750974574
http://www.worldcat.org/oclc/813251795
http://www.worldcat.org/oclc/634067890
http://www.worldcat.org/oclc/433837615
http://www.worldcat.org/oclc/439554215
http://www.worldcat.org/oclc/660213603
http://www.worldcat.org/oclc/310097351
http://www.worldcat.org/oclc/7818584
http://www.worldcat.org/oclc/849235678

Symposion on Mathematical Interpretation of Formal Systems (1954 : Amsterdam)

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
"Symposion on Mathematical Interpretation of Formal Systems (1954 : Amsterdam)"

http://experiment.worldcat.org/entity/work/data/352364745#Meeting/symposion_on_mathematical_interpretation_of_formal_systems_1954_amsterdam

Symposion on Mathematical Interpretation of Formal Systems (1954. Amsterdam, Países Bajos)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Symposion on Mathematical Interpretation of Formal Systems (1954. Amsterdam, Países Bajos)"

http://experiment.worldcat.org/entity/work/data/352364745#Meeting/symposion_on_mathematical_interpretation_of_formal_systems_1954_amsterdam_paises_bajos

Symposion on "Mathematical interpretation of formal systems" ((Amsterdam) : 09/10-09-1954)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Symposion on "Mathematical interpretation of formal systems" ((Amsterdam) : 09/10-09-1954)"

http://experiment.worldcat.org/entity/work/data/352364745#Meeting/symposion_on_mathematical_interpretation_of_formal_systems_amsterdam_09_10_09_1954

Wiskundig Genootschap onder de Zinspreuk: "Een Onvermoeide Arbeid Komt Alles te Boven." Amsterdam.

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Wiskundig Genootschap onder de Zinspreuk: "Een Onvermoeide Arbeid Komt Alles te Boven." Amsterdam."

http://experiment.worldcat.org/entity/work/data/352364745#Meeting/wiskundig_genootschap_onder_de_zinspreuk_een_onvermoeide_arbeid_komt_alles_te_boven_amsterdam

Mathematical Society. Amsterdam.

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
"Mathematical Society. Amsterdam."

http://experiment.worldcat.org/entity/work/data/352364745#Organization/mathematical_society_amsterdam

Wiskundig Genootschap.

rdf:type
http://schema.org/Organization
schema:name
"Wiskundig Genootschap."

http://experiment.worldcat.org/entity/work/data/352364745#Organization/wiskundig_genootschap

Wiskundig Genootschap de Zinspreuk; "Een Onvermoeide Arbeid Komt Alles te Boven," Amsterdam.

rdf:type
http://schema.org/Organization
schema:name
"Wiskundig Genootschap de Zinspreuk; "Een Onvermoeide Arbeid Komt Alles te Boven," Amsterdam."

http://experiment.worldcat.org/entity/work/data/352364745#Organization/wiskundig_genootschap_de_zinspreuk_een_onvermoeide_arbeid_komt_alles_te_boven_amsterdam

Wiskundig Genootschap, onder de zinspreuk : "Een onvermoeide arbeid komt alles te boven". Amsterdam.

rdf:type
http://schema.org/Organization
schema:name
"Wiskundig Genootschap, onder de zinspreuk : "Een onvermoeide arbeid komt alles te boven". Amsterdam."

http://experiment.worldcat.org/entity/work/data/352364745#Organization/wiskundig_genootschap_onder_de_zinspreuk_een_onvermoeide_arbeid_komt_alles_te_boven_amsterdam

Formale Methode.

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
"Formale Methode."