GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Helmut Schwichtenberg
URI:
https://gptkb.org/entity/Helmut_Schwichtenberg
GPTKB entity
Statements (18)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:author
gptkb:logic
gptkb:Basic_Proof_Theory
gptkbp:birthDate
1942-04-05
gptkbp:birthPlace
gptkb:Zwickau,_Germany
gptkbp:doctoralAdvisor
gptkb:Kurt_Schütte
gptkbp:employer
gptkb:Ludwig_Maximilian_University_of_Munich
gptkbp:field
gptkb:logic
proof theory
recursion theory
https://www.w3.org/2000/01/rdf-schema#label
Helmut Schwichtenberg
gptkbp:memberOf
gptkb:Academy_of_Sciences_Leopoldina
gptkbp:nationality
gptkb:German
gptkbp:notableStudent
gptkb:Ulrich_Kohlenbach
gptkbp:occupation
gptkb:logic
gptkb:mathematician
gptkbp:bfsParent
gptkb:Wolfgang_Pohlers
gptkbp:bfsLayer
7