Net:	UniNet
Type:	Sense
Cat:	Noun
Wordform:	mathematische Logik
Synset:	mathematische Logik...