Metamathematical investigation of intuitionistic artithmetic and analysis

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.loc.gov/authorities/subjects/sh85078115
http://experiment.worldcat.org/entity/work/data/30748679#Topic/intuizione_matematica
http://experiment.worldcat.org/entity/work/data/30748679#Topic/metamathematik
http://id.loc.gov/authorities/subjects/sh85082139
http://experiment.worldcat.org/entity/work/data/30748679#Topic/intuitionisme
http://experiment.worldcat.org/entity/work/data/30748679#Topic/matematicas
http://id.loc.gov/authorities/subjects/sh85067656
http://experiment.worldcat.org/entity/work/data/30748679#Topic/matematicas_intuicionistas
http://experiment.worldcat.org/entity/work/data/30748679#Topic/model_theory
http://experiment.worldcat.org/entity/work/data/30748679#Topic/logica_simbolica
http://experiment.worldcat.org/entity/work/data/30748679#Topic/realisabilite
http://experiment.worldcat.org/entity/work/data/30748679#Topic/metamathematique
http://experiment.worldcat.org/entity/work/data/30748679#Topic/proof_theory
http://experiment.worldcat.org/entity/work/data/30748679#Topic/theorie_de_la_preuve
http://experiment.worldcat.org/entity/work/data/30748679#Topic/intuitionistische_analysis
http://experiment.worldcat.org/entity/work/data/30748679#Topic/mathematik_intuitionistische
http://experiment.worldcat.org/entity/work/data/30748679#Topic/logique_intuitionniste
http://id.worldcat.org/fast/1002068
http://experiment.worldcat.org/entity/work/data/30748679#Topic/calculabilite
http://experiment.worldcat.org/entity/work/data/30748679#Topic/preuve_theorie_de_la
http://id.worldcat.org/fast/977860
http://id.worldcat.org/fast/1078942
http://experiment.worldcat.org/entity/work/data/30748679#Topic/metamatematica
http://id.worldcat.org/fast/1012209
http://experiment.worldcat.org/entity/work/data/30748679#Topic/teoria_de_models
http://id.loc.gov/authorities/subjects/sh85107437
http://id.loc.gov/authorities/subjects/sh85086421
http://experiment.worldcat.org/entity/work/data/30748679#Topic/arithmetique
http://experiment.worldcat.org/entity/work/data/30748679#Topic/modeles_theorie_des
http://experiment.worldcat.org/entity/work/data/30748679#Topic/deduction_naturelle
http://experiment.worldcat.org/entity/work/data/30748679#Topic/mathematiques
http://experiment.worldcat.org/entity/work/data/30748679#Topic/bewijstheorie
http://experiment.worldcat.org/entity/work/data/30748679#Topic/intuitionnisme_mathematiques
http://id.worldcat.org/fast/1024368
http://experiment.worldcat.org/entity/work/data/30748679#Topic/models_teoria_dels
http://experiment.worldcat.org/entity/work/data/30748679#Topic/mathematiques_intuitionnistes
http://experiment.worldcat.org/entity/work/data/30748679#Topic/logica_matematica
http://experiment.worldcat.org/entity/work/data/30748679#Topic/matematica
http://experiment.worldcat.org/entity/work/data/30748679#Topic/intuicionisme_matematica
http://experiment.worldcat.org/entity/work/data/30748679#Topic/intuitionistic_mathematics
http://experiment.worldcat.org/entity/work/data/30748679#Topic/modeltheorie
http://experiment.worldcat.org/entity/work/data/30748679#Topic/theorie_des_modeles
http://experiment.worldcat.org/entity/work/data/30748679#Topic/intuicionismo_matematicas
http://experiment.worldcat.org/entity/work/data/30748679#Topic/demostracio_teoria_de_la

http://schema.org/author

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

http://schema.org/contributor

http://experiment.worldcat.org/entity/work/data/30748679#Organization/springerlink_service_en_ligne
http://worldcat.org/entity/person/id/2628180628
http://worldcat.org/entity/person/id/2639773363

http://schema.org/creator

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

http://schema.org/editor

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

http://schema.org/genre

"Electronic books"@en
"Llibres electrònics"
"Intuitionistische Arithmetik"

http://schema.org/name

"Metamathematical investigation of intuitionistic artithmetic and analysis"@en
"Metamathematical Investigation of intuitionistic arithmetic and analysis"
"Metamathematical Investigation of Intuitionistic Arithmetic and Analysis"@en
"Metamathematical Investigation of Intuitionistic Arithmetic and Analysis"
"Metamathematical investigation of intuitionistic arithmetic and analysis"@en
"Metamathematical investigation of intuitionistic arithmetic and analysis"
"Mathematical investigation of intuitionistic arithmetic and analysis"@en
"mathematical investigation of intuitionistic arithmetic and analysis"

http://schema.org/workExample

http://www.worldcat.org/oclc/876187
http://www.worldcat.org/oclc/472167018
http://www.worldcat.org/oclc/466110680
http://www.worldcat.org/oclc/804635694
http://www.worldcat.org/oclc/780725631
http://www.worldcat.org/oclc/797327571
http://www.worldcat.org/oclc/858277
http://www.worldcat.org/oclc/757491088
http://www.worldcat.org/oclc/472062533
http://www.worldcat.org/oclc/250934381
http://www.worldcat.org/oclc/29685376
http://www.worldcat.org/oclc/701027531
http://www.worldcat.org/oclc/28651169
http://www.worldcat.org/oclc/838004943
http://www.worldcat.org/oclc/645198806
http://www.worldcat.org/oclc/802470561
http://www.worldcat.org/oclc/911368196
http://www.worldcat.org/oclc/423248650
http://www.worldcat.org/oclc/610012845
http://www.worldcat.org/oclc/296183359

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/30748679#Organization/springerlink_service_en_ligne

arithmétique.

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
"arithmétique."