Proof Theory and Intuitionistic 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/1277146#Topic/intuizione_matematica
http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuitionnisme_mathematiques
http://id.worldcat.org/fast/1078942
http://experiment.worldcat.org/entity/work/data/1277146#Topic/beweistheorie
http://experiment.worldcat.org/entity/work/data/1277146#Topic/nombres_theorie_des
http://experiment.worldcat.org/entity/work/data/1277146#Topic/getaltheorie
http://experiment.worldcat.org/entity/work/data/1277146#Topic/mathematiques_intuitionnistes
http://experiment.worldcat.org/entity/work/data/1277146#Topic/theorie_de_la_preuve
http://experiment.worldcat.org/entity/work/data/1277146#Topic/bizonyitaselmelet
http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuitionistische_logik
http://experiment.worldcat.org/entity/work/data/1277146#Topic/preuve_theorie_de_la
http://experiment.worldcat.org/entity/work/data/1277146#Topic/teoria_della_dimostrazione
http://experiment.worldcat.org/entity/work/data/1277146#Topic/logica
http://experiment.worldcat.org/entity/work/data/1277146#Topic/mathematics_methodology
http://id.loc.gov/authorities/subjects/sh85107437
http://experiment.worldcat.org/entity/work/data/1277146#Topic/logica_simbolica_y_matematica
http://id.worldcat.org/fast/977860
http://experiment.worldcat.org/entity/work/data/1277146#Topic/mathematics_general
http://experiment.worldcat.org/entity/work/data/1277146#Topic/zahlentheorie
http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuicjonizm_matematyczny
http://id.loc.gov/authorities/subjects/sh85082139
http://id.worldcat.org/fast/1012163
http://experiment.worldcat.org/entity/work/data/1277146#Topic/demostracio_teoria_de_la
http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuicio
http://experiment.worldcat.org/entity/work/data/1277146#Topic/teoria_dowodu
http://experiment.worldcat.org/entity/work/data/1277146#Topic/intuicionisme_matematica
http://id.loc.gov/authorities/subjects/sh85067656

http://schema.org/author

http://worldcat.org/entity/person/id/2634250469

http://schema.org/contributor

http://experiment.worldcat.org/entity/work/data/1277146#Organization/springerlink_service_en_ligne
http://worldcat.org/entity/person/id/2634250469

http://schema.org/creator

http://worldcat.org/entity/person/id/2634250469

http://schema.org/genre

"Electronic books"@en
"Intuitionistisches System"
"Llibres electrònics"

http://schema.org/name

"Proof Theory and Intuitionistic Systems"@it
"Proof Theory and Intuitionistic Systems"
"Proof Theory and Intuitionistic Systems"@en
"Proof theory and intuitionistic systems"@en
"Proof theory and intuitionistic systems"

http://schema.org/workExample

http://www.worldcat.org/oclc/901246403
http://www.worldcat.org/oclc/472070984
http://www.worldcat.org/oclc/802899046
http://www.worldcat.org/oclc/908968655
http://www.worldcat.org/oclc/610012433
http://www.worldcat.org/oclc/793077948
http://www.worldcat.org/oclc/300405355
http://www.worldcat.org/oclc/466127618
http://www.worldcat.org/oclc/878745986
http://www.worldcat.org/oclc/751081977
http://www.worldcat.org/oclc/797328813
http://www.worldcat.org/oclc/163941
http://www.worldcat.org/oclc/888966403
http://www.worldcat.org/oclc/804634993
http://www.worldcat.org/oclc/295025602
http://www.worldcat.org/oclc/438408136
http://www.worldcat.org/oclc/472258401
http://www.worldcat.org/oclc/645196424

SpringerLink (Service en ligne)

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
"SpringerLink (Service en ligne)"

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

Beweistheorie.

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