Lutz Heindorf
Autor von "Nearly Projective Boolean Algebras" und "Elementare Beweistheorie" .
Elementare Beweistheorie
Softcover
erschienen am 01.01.1994
Elementare Beweistheorie
Softcover
erschienen am 20.09.1994