Constructive order types

Provability, Computability and Reflection.

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/1178490#Topic/logic_symbolic_and_mathematical_periodicals
http://experiment.worldcat.org/entity/work/data/1178490#Topic/matematisk_logik
http://experiment.worldcat.org/entity/work/data/1178490#Topic/mathematiques_constructives
http://experiment.worldcat.org/entity/work/data/1178490#Topic/mathematics_general
http://id.worldcat.org/fast/1002068
http://experiment.worldcat.org/entity/work/data/1178490#Topic/logique_symbolique_et_mathematique
http://experiment.worldcat.org/entity/work/data/1178490#Topic/logica_simbolica_si_matematica
http://experiment.worldcat.org/entity/work/data/1178490#Topic/logica_matematica
http://experiment.worldcat.org/entity/work/data/1178490#Topic/numeros_teoria_de
http://experiment.worldcat.org/entity/work/data/1178490#Topic/halmazelmelet
http://id.loc.gov/authorities/subjects/sh85078115
http://experiment.worldcat.org/entity/work/data/1178490#Topic/rekurziv_fuggveny
http://experiment.worldcat.org/entity/work/data/1178490#Topic/constructieve_wiskunde

http://schema.org/author

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

http://schema.org/contributor

http://worldcat.org/entity/person/id/2630418726
http://worldcat.org/entity/person/id/2741378202

http://schema.org/creator

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

http://schema.org/description

"Provability, Computability and Reflection."@en

http://schema.org/name

"Consructive order types"
"Constructive order types"
"Constructive order types"@en

http://schema.org/workExample

http://www.worldcat.org/oclc/801947269
http://www.worldcat.org/oclc/875590106
http://www.worldcat.org/oclc/644359322
http://www.worldcat.org/oclc/895489825
http://www.worldcat.org/oclc/844389596
http://www.worldcat.org/oclc/849270341
http://www.worldcat.org/oclc/472190894
http://www.worldcat.org/oclc/30287
http://www.worldcat.org/oclc/909046391
http://www.worldcat.org/oclc/813229314
http://www.worldcat.org/oclc/252015058
http://www.worldcat.org/oclc/488839441
http://www.worldcat.org/oclc/297923093
http://www.worldcat.org/oclc/186638294
http://www.worldcat.org/oclc/490027661
http://www.worldcat.org/oclc/780452491
http://www.worldcat.org/oclc/439104706

Constructieve wiskunde.

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
"Constructieve wiskunde."