<http://thesaurus.bib.th-wildau.de/_00000709> <http://www.w3.org/2004/02/skos/core#prefLabel> "mathematical logic"@en .
<http://thesaurus.bib.th-wildau.de/_00000709> <http://www.w3.org/2004/02/skos/core#prefLabel> "Mathematische Logik"@de .
<http://thesaurus.bib.th-wildau.de/_00000712> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://thesaurus.bib.th-wildau.de/_00000712> <http://www.w3.org/2004/02/skos/core#inScheme> <http://thesaurus.bib.th-wildau.de/scheme> .
<http://thesaurus.bib.th-wildau.de/_00000712> <http://www.w3.org/2004/02/skos/core#prefLabel> "proof theory"@en .
<http://thesaurus.bib.th-wildau.de/_00000712> <http://www.w3.org/2004/02/skos/core#prefLabel> "Beweistheorie"@de .
<http://thesaurus.bib.th-wildau.de/_00000712> <http://www.w3.org/2004/02/skos/core#broader> <http://thesaurus.bib.th-wildau.de/_00000709> .