Linked Data Explorerhttp://worldcat.org/entity/work/id/2406532
Proof theory
Provability, Computability and Reflection.
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/prova_matematica
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/teoria_de_la_prova
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/mathematics
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/bizonyitaselmelet
- http://id.loc.gov/authorities/subjects/sh85107437
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/arithmetique_peano
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/mathematik
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/calcul_predicat
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/logic_symbolic_and_mathematical_periodicals
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/teoria_dowodu
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/mathematics_logic
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/logica_simbolica_y_matematica
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/recursive_functions
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/theorie_demonstration
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/coherence
- http://id.worldcat.org/fast/1078942
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/mathematische_logik
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/preuve
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/teoria_de_la_demostracion
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/preuve_conformite
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/preuve_theorie_de_la
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/bewijstheorie
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/logica_matematica
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/computable_functions
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/calculus
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/beweistheorie
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/mathematics_infinity
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/demonstration_mathematiques_theorie
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/proof_theory
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/talteori
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/theorie_de_la_preuve
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/logic_symbolic_and_mathematical
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/mathematische_logica
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/logica_combinatoria
- http://experiment.worldcat.org/entity/work/data/2406532#Topic/matematika_matematicna_logika_teorija_dokaza
http://schema.org/alternateName
- "Teorija dokazatel'stv"
- "Proof theory"
http://schema.org/contributor
- http://experiment.worldcat.org/entity/work/data/2406532#Meeting/symposium_on_intuitionism_and_proof_theory_1968_buffalo
- http://worldcat.org/entity/person/id/2632570292
- http://experiment.worldcat.org/entity/work/data/2406532#Meeting/conference_on_intuitionism_and_proof_theory_1968_state_university_of_new_york_at_buffalo
- http://worldcat.org/entity/person/id/2641304637
- http://experiment.worldcat.org/entity/work/data/2406532#Meeting/symposium_on_intuitionism_and_proof_theory_buffalo_ny_1968
- http://worldcat.org/entity/person/id/2632086839
- http://worldcat.org/entity/person/id/2635665494
- http://worldcat.org/entity/person/id/2633172141
- http://worldcat.org/entity/person/id/2640750040
- http://worldcat.org/entity/person/id/2634376160
http://schema.org/description
- "Provability, Computability and Reflection."@en
- ""This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition"--"
- ""This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition"--"@en
http://schema.org/genre
- "Electronic books"@en
http://schema.org/name
- "Proof theory"@en
- "Proof theory"
- "Teoriâ dokazatel'stv"
- "Теория доказательств"
- "Teorija dokazatel'stv"
- "Proof Theory"
- "PROOF THEORY"@it
- "Teorija dokazatelʹstv"
- "Teorii︠a︡ dokazatelʹstv"
- "Teorija dokazatel'stv : perevod s anglijskogo"
- "Teoriâ dokazatelʹstv"
- "Proof theory : (based on a series of lectures at the Symposium on intuitionism and proof theory held at Buffalo 1968)"
http://schema.org/workExample
- http://www.worldcat.org/oclc/827624700
- http://www.worldcat.org/oclc/792881195
- http://www.worldcat.org/oclc/797802048
- http://www.worldcat.org/oclc/493940619
- http://www.worldcat.org/oclc/755150448
- http://www.worldcat.org/oclc/13270942
- http://www.worldcat.org/oclc/749365002
- http://www.worldcat.org/oclc/802582750
- http://www.worldcat.org/oclc/780472798
- http://www.worldcat.org/oclc/185773765
- http://www.worldcat.org/oclc/439557156
- http://www.worldcat.org/oclc/242068026
- http://www.worldcat.org/oclc/476872494
- http://www.worldcat.org/oclc/471534421
- http://www.worldcat.org/oclc/810947633
- http://www.worldcat.org/oclc/853071934
- http://www.worldcat.org/oclc/848338456
- http://www.worldcat.org/oclc/318330024
- http://www.worldcat.org/oclc/804044166
- http://www.worldcat.org/oclc/901618294
- http://www.worldcat.org/oclc/637194536
- http://www.worldcat.org/oclc/757834843
- http://www.worldcat.org/oclc/602353211
- http://www.worldcat.org/oclc/878754727
- http://www.worldcat.org/oclc/849501756
- http://www.worldcat.org/oclc/867772409
- http://www.worldcat.org/oclc/488340832
- http://www.worldcat.org/oclc/907761766
- http://www.worldcat.org/oclc/802782976
- http://www.worldcat.org/oclc/610511492
- http://www.worldcat.org/oclc/840724574
- http://www.worldcat.org/oclc/1531974
- http://www.worldcat.org/oclc/909426487
- http://www.worldcat.org/oclc/299343174
- http://www.worldcat.org/oclc/875590199
- http://www.worldcat.org/oclc/247188886
- http://www.worldcat.org/oclc/888937962
- http://www.worldcat.org/oclc/428099621
- http://www.worldcat.org/oclc/489769819
- http://www.worldcat.org/oclc/859790134
- http://www.worldcat.org/oclc/439557698