Provability, Computability and Reflection

Provability, Computability and Reflection.

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/773780135#Topic/word_problems_mathematics
http://id.loc.gov/authorities/subjects/sh85054135
http://experiment.worldcat.org/entity/work/data/773780135#Topic/recursive_functions
http://experiment.worldcat.org/entity/work/data/773780135#Topic/proof_theory
http://worldcat.org/entity/person/id/2638126982
http://experiment.worldcat.org/entity/work/data/773780135#Topic/g_odel_s_theorem_congresses
http://experiment.worldcat.org/entity/work/data/773780135#Topic/physics
http://id.worldcat.org/fast/1002014
http://experiment.worldcat.org/entity/work/data/773780135#Topic/law_philosophy
http://experiment.worldcat.org/entity/work/data/773780135#Topic/logic_symbolic_and_mathematical_periodicals
http://id.worldcat.org/fast/1112895
http://id.worldcat.org/fast/940871
http://experiment.worldcat.org/entity/work/data/773780135#Topic/mathematics_general
http://experiment.worldcat.org/entity/work/data/773780135#Topic/descriptive_set_theory
http://experiment.worldcat.org/entity/work/data/773780135#Topic/algebra_abstract
http://id.worldcat.org/fast/1012068
http://experiment.worldcat.org/entity/work/data/773780135#Topic/mathematics_history_&_philosophy
http://experiment.worldcat.org/entity/work/data/773780135#Topic/algebra
http://experiment.worldcat.org/entity/work/data/773780135#Topic/logic_symbolic_and_mathematical_congresses
http://id.loc.gov/authorities/subjects/sh85077141
http://id.worldcat.org/fast/999017
http://id.loc.gov/authorities/subjects/sh85119877
http://experiment.worldcat.org/entity/work/data/773780135#Topic/model_theory
http://experiment.worldcat.org/entity/work/data/773780135#Topic/mathematics_logic
http://experiment.worldcat.org/entity/work/data/773780135#Topic/geometry_foundations
http://id.loc.gov/authorities/subjects/sh85086421
http://id.loc.gov/authorities/subjects/sh85031342
http://experiment.worldcat.org/entity/work/data/773780135#Topic/infinitary_languages
http://experiment.worldcat.org/entity/work/data/773780135#Topic/pragmatics
http://id.worldcat.org/fast/1018261
http://experiment.worldcat.org/entity/work/data/773780135#Topic/lesniewski_stanislaw_1896_1939
http://experiment.worldcat.org/entity/work/data/773780135#Topic/axioms
http://id.worldcat.org/fast/1127622
http://experiment.worldcat.org/entity/work/data/773780135#Topic/logic_symbolic_and_mathematical
http://id.worldcat.org/fast/1091984
http://experiment.worldcat.org/entity/work/data/773780135#Topic/language_and_languages
http://id.loc.gov/authorities/subjects/sh85010589
http://experiment.worldcat.org/entity/work/data/773780135#Topic/gentzen_gerhard
http://id.worldcat.org/fast/977860
http://experiment.worldcat.org/entity/work/data/773780135#Topic/nonclassical_mathematical_logic
http://id.loc.gov/authorities/subjects/sh85125911
http://id.loc.gov/authorities/subjects/sh85082139
http://experiment.worldcat.org/entity/work/data/773780135#Topic/mathematics_reference
http://experiment.worldcat.org/entity/work/data/773780135#Topic/type_theory
http://id.loc.gov/authorities/subjects/sh85003428
http://experiment.worldcat.org/entity/work/data/773780135#Topic/special_relativity_physics
http://id.worldcat.org/fast/804936
http://id.loc.gov/authorities/subjects/sh85120387
http://id.loc.gov/authorities/subjects/sh85139126
http://id.worldcat.org/fast/1091982
http://id.loc.gov/authorities/subjects/sh85106058
http://experiment.worldcat.org/entity/work/data/773780135#Topic/science_energy
http://id.loc.gov/authorities/subjects/sh85082116
http://id.worldcat.org/fast/1113587
http://id.loc.gov/authorities/subjects/sh85078115
http://experiment.worldcat.org/entity/work/data/773780135#Topic/mathematics
http://worldcat.org/entity/person/id/2644806764
http://experiment.worldcat.org/entity/work/data/773780135#Topic/mathematics_essays
http://id.worldcat.org/fast/1012213
http://id.worldcat.org/fast/804919
http://experiment.worldcat.org/entity/work/data/773780135#Topic/induction_mathematics
http://experiment.worldcat.org/entity/work/data/773780135#Topic/congresses
http://experiment.worldcat.org/entity/work/data/773780135#Topic/mathematics_infinity
http://experiment.worldcat.org/entity/work/data/773780135#Topic/mathematics_algebra_intermediate
http://experiment.worldcat.org/entity/work/data/773780135#Topic/axiom_of_choice
http://experiment.worldcat.org/entity/work/data/773780135#Topic/group_theory
http://experiment.worldcat.org/entity/work/data/773780135#Topic/modality_logic
http://id.worldcat.org/fast/1112094
http://experiment.worldcat.org/entity/work/data/773780135#Topic/algebraic_fields
http://id.worldcat.org/fast/875890
http://experiment.worldcat.org/entity/work/data/773780135#Topic/philosophy_logic
http://id.worldcat.org/fast/1159972
http://id.loc.gov/authorities/subjects/sh85112012
http://experiment.worldcat.org/entity/work/data/773780135#Topic/metamathematics
http://experiment.worldcat.org/entity/work/data/773780135#Topic/recursion_theory_congresses
http://experiment.worldcat.org/entity/work/data/773780135#Topic/logic
http://id.loc.gov/authorities/subjects/sh85067656
http://experiment.worldcat.org/entity/work/data/773780135#Topic/intuitionistic_mathematics
http://experiment.worldcat.org/entity/work/data/773780135#Topic/groups_theory_of_congresses
http://experiment.worldcat.org/entity/work/data/773780135#Topic/philosophy
http://experiment.worldcat.org/entity/work/data/773780135#Topic/number_theory
http://id.loc.gov/authorities/subjects/sh2010100130
http://experiment.worldcat.org/entity/work/data/773780135#Topic/algebraic_logic
http://id.loc.gov/authorities/subjects/sh85112014
http://experiment.worldcat.org/entity/work/data/773780135#Topic/formal_languages
http://experiment.worldcat.org/entity/work/data/773780135#Topic/counterfactuals_logic
http://worldcat.org/entity/person/id/2641492465
http://id.worldcat.org/fast/1012163
http://experiment.worldcat.org/entity/work/data/773780135#Topic/axiomatic_set_theory
http://id.worldcat.org/fast/1002068
http://experiment.worldcat.org/entity/work/data/773780135#Topic/mathematics_pre_calculus
http://experiment.worldcat.org/entity/work/data/773780135#Topic/set_theory
http://id.loc.gov/authorities/subjects/sh85084269
http://experiment.worldcat.org/entity/work/data/773780135#Topic/science_mechanics_general
http://id.loc.gov/authorities/subjects/sh85120149
http://experiment.worldcat.org/entity/work/data/773780135#Topic/mathematics_philosophy
http://experiment.worldcat.org/entity/work/data/773780135#Topic/computable_functions
http://id.worldcat.org/fast/814493
http://id.loc.gov/authorities/subjects/sh85010588
http://experiment.worldcat.org/entity/work/data/773780135#Topic/godel_s_theorem
http://experiment.worldcat.org/entity/work/data/773780135#Topic/cardinal_numbers
http://experiment.worldcat.org/entity/work/data/773780135#Topic/combinatory_logic
http://id.loc.gov/authorities/subjects/sh85003435
http://id.worldcat.org/fast/1041214
http://experiment.worldcat.org/entity/work/data/773780135#Topic/space_and_time
http://id.worldcat.org/fast/868988
http://experiment.worldcat.org/entity/work/data/773780135#Topic/lincos_artificial_language
http://id.loc.gov/authorities/subjects/sh85028814
http://experiment.worldcat.org/entity/work/data/773780135#Topic/sequential_machine_theory
http://experiment.worldcat.org/entity/work/data/773780135#Topic/semantics_philosophy
http://experiment.worldcat.org/entity/work/data/773780135#Topic/constructibility_set_theory
http://id.loc.gov/authorities/subjects/sh85078106
http://id.loc.gov/authorities/subjects/sh2008107112
http://experiment.worldcat.org/entity/work/data/773780135#Topic/philosophy_movements_humanism
http://id.loc.gov/authorities/subjects/sh85082153
http://id.worldcat.org/fast/1024368
http://id.worldcat.org/fast/824491
http://experiment.worldcat.org/entity/work/data/773780135#Topic/foreign_language_study_miscellaneous
http://id.worldcat.org/fast/824492
http://experiment.worldcat.org/entity/work/data/773780135#Topic/recursion_theory
http://id.loc.gov/authorities/subjects/sh85093222
http://id.worldcat.org/fast/1074579
http://id.loc.gov/authorities/subjects/sh85007169
http://experiment.worldcat.org/entity/work/data/773780135#Topic/science
http://experiment.worldcat.org/entity/work/data/773780135#Topic/arithmetic_foundations
http://experiment.worldcat.org/entity/work/data/773780135#Topic/science_physics_general

http://schema.org/contributor

http://experiment.worldcat.org/entity/work/data/773780135#Thing/beklemishev_lev_d

http://schema.org/creator

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

http://schema.org/description

"Provability, Computability and Reflection."@en
"Provability, Computability and Reflection."

http://schema.org/genre

"Conference papers and proceedings"@en
"Electronic books"@en
"Electronic books"
"Periodicals"@en
"Bibliography"@en

http://schema.org/name

"Provability, Computability and Reflection"@en
"Provability, Computability and Reflection"
"Provability, computability and reflection"

http://schema.org/workExample

http://www.worldcat.org/oclc/699474094
http://www.worldcat.org/oclc/699474117
http://www.worldcat.org/oclc/699474144
http://www.worldcat.org/oclc/700688940
http://www.worldcat.org/oclc/699474170
http://www.worldcat.org/oclc/700690157
http://www.worldcat.org/oclc/699474107
http://www.worldcat.org/oclc/700690208
http://www.worldcat.org/oclc/700688857
http://www.worldcat.org/oclc/699474165
http://www.worldcat.org/oclc/699474149
http://www.worldcat.org/oclc/699474108
http://www.worldcat.org/oclc/699474152
http://www.worldcat.org/oclc/699474087
http://www.worldcat.org/oclc/699474161
http://www.worldcat.org/oclc/699474111
http://www.worldcat.org/oclc/699474090
http://www.worldcat.org/oclc/699474130
http://www.worldcat.org/oclc/699474080
http://www.worldcat.org/oclc/700690216
http://www.worldcat.org/oclc/699474073
http://www.worldcat.org/oclc/699474124
http://www.worldcat.org/oclc/699474078
http://www.worldcat.org/oclc/823843821
http://www.worldcat.org/oclc/699474115
http://www.worldcat.org/oclc/699474145
http://www.worldcat.org/oclc/700688929
http://www.worldcat.org/oclc/699474133
http://www.worldcat.org/oclc/255702702
http://www.worldcat.org/oclc/700690164
http://www.worldcat.org/oclc/700688943
http://www.worldcat.org/oclc/699474112
http://www.worldcat.org/oclc/699474157
http://www.worldcat.org/oclc/699474065
http://www.worldcat.org/oclc/700688861
http://www.worldcat.org/oclc/699474085
http://www.worldcat.org/oclc/699474095
http://www.worldcat.org/oclc/700688856
http://www.worldcat.org/oclc/700690176
http://www.worldcat.org/oclc/699474151
http://www.worldcat.org/oclc/699474169
http://www.worldcat.org/oclc/699474136
http://www.worldcat.org/oclc/823843839
http://www.worldcat.org/oclc/700919079
http://www.worldcat.org/oclc/699474075
http://www.worldcat.org/oclc/700689143

Beklemishev, Lev D.

This is a placeholder reference for a Thing 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/Thing
schema:name
"Beklemishev, Lev D."

http://experiment.worldcat.org/entity/work/data/773780135#Thing/beklemishev_lev_d

Algebra.

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