Les méthodes formelles en axiomatique [Actes du colloque tenu à] Paris, [en] Décembre 1950

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

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

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/422874923#Topic/logica
http://experiment.worldcat.org/entity/work/data/422874923#Topic/axioms
http://id.loc.gov/authorities/subjects/sh2008107112
http://experiment.worldcat.org/entity/work/data/422874923#Topic/logica_simbolica
http://experiment.worldcat.org/entity/work/data/422874923#Topic/logique_mathematique_congres
http://experiment.worldcat.org/entity/work/data/422874923#Topic/congressos_i_conferencies
http://experiment.worldcat.org/entity/work/data/422874923#Topic/matematica
http://experiment.worldcat.org/entity/work/data/422874923#Topic/logica_simbolica_y_matematica_congresos
http://experiment.worldcat.org/entity/work/data/422874923#Topic/axiomatique_congres
http://experiment.worldcat.org/entity/work/data/422874923#Topic/mathematiques_philosophie
http://experiment.worldcat.org/entity/work/data/422874923#Topic/logic_symbolic_and_mathematical_congresses
http://experiment.worldcat.org/entity/work/data/422874923#Topic/axiomatik
http://id.worldcat.org/fast/824492
http://experiment.worldcat.org/entity/work/data/422874923#Topic/assiomatico
http://id.worldcat.org/fast/1002068
http://id.loc.gov/authorities/subjects/sh85010589
http://experiment.worldcat.org/entity/work/data/422874923#Topic/logique_symbolique_et_mathematique

http://schema.org/contributor

http://viaf.org/viaf/148648456
http://viaf.org/viaf/188438113
http://id.loc.gov/authorities/names/n50079473
http://viaf.org/viaf/223857543
http://experiment.worldcat.org/entity/work/data/422874923#Meeting/colloque_international_de_logique_mathematique_1950_paris_francia
http://id.loc.gov/authorities/names/n79049545

http://schema.org/creator

http://experiment.worldcat.org/entity/work/data/422874923#Meeting/colloque_de_logique_mathematique_1r_1950_paris
http://experiment.worldcat.org/entity/work/data/422874923#Meeting/colloque_international_de_logique_mathematique_1st_1950_paris_france
http://experiment.worldcat.org/entity/work/data/422874923#Organization/centre_national_de_la_recherche_scientifique
http://viaf.org/viaf/223857543
http://id.loc.gov/authorities/names/n79049545
http://experiment.worldcat.org/entity/work/data/422874923#Meeting/colloques_internationaux_du_centre_national_de_la_recherche_scientifique_36_1950_paris

http://schema.org/name

"Les méthodes formelles en axiomatique [Actes du colloque tenu à] Paris, [en] Décembre 1950"
"Les Methodes Formelles en Axiomatique : Paris, décembre 1950"
"Les méthodes formelles en axiomatique : Paris, Décembre 1950"
"Les Méthodes formelles en axiomatique"
"Les méthodes formelles en axiomatique, Paris, décembre 1950"
"Les Méthodes formelles en axiomatique : Paris, décembre 1950"
"Les methodes formelles en axiomatique : Paris, Decembre 1950"
"Les méthodes formelles en axiomatique"
"Les méthodes formelles en axiomatique : Paris décembre 1950"

http://schema.org/workExample

http://www.worldcat.org/oclc/488485194
http://www.worldcat.org/oclc/14962606
http://www.worldcat.org/oclc/803324209
http://www.worldcat.org/oclc/250990885
http://www.worldcat.org/oclc/876715157
http://www.worldcat.org/oclc/878341885
http://www.worldcat.org/oclc/551297907
http://www.worldcat.org/oclc/746071672
http://www.worldcat.org/oclc/869576474
http://www.worldcat.org/oclc/644408818
http://www.worldcat.org/oclc/636719770
http://www.worldcat.org/oclc/490232387
http://www.worldcat.org/oclc/2635717

Colloque de Logique Mathématique (1r : 1950 : Paris)

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
"Colloque de Logique Mathématique (1r : 1950 : Paris)"

http://experiment.worldcat.org/entity/work/data/422874923#Meeting/colloque_de_logique_mathematique_1r_1950_paris

Colloque International de Logique Mathématique 1950 : París, Francia.

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Colloque International de Logique Mathématique 1950 : París, Francia."

http://experiment.worldcat.org/entity/work/data/422874923#Meeting/colloque_international_de_logique_mathematique_1950_paris_francia

Colloque international de logique mathématique (1st : 1950 : Paris, France)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Colloque international de logique mathématique (1st : 1950 : Paris, France)"

http://experiment.worldcat.org/entity/work/data/422874923#Meeting/colloque_international_de_logique_mathematique_1st_1950_paris_france

Colloques internationaux du Centre national de la recherche scientifique (36 ; 1950 ; Paris).

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Colloques internationaux du Centre national de la recherche scientifique (36 ; 1950 ; Paris)."

http://experiment.worldcat.org/entity/work/data/422874923#Meeting/colloques_internationaux_du_centre_national_de_la_recherche_scientifique_36_1950_paris

Centre national de la recherche scientifique.

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
"Centre national de la recherche scientifique."

http://experiment.worldcat.org/entity/work/data/422874923#Organization/centre_national_de_la_recherche_scientifique

Assiomatico.

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
"Assiomatico."