Bauer, Friedrich L.2018-01-052018-01-0519991999https://dl.gi.de/handle/20.500.12116/10427Intuitionismus und InformatikText/Journal Article1432-122X