TY - GEN AU - Bauer, F. L TI - Mengen in algorithmischen sprachen oder: Arten und Pradikate PY - 1970/// CY - Munchen PB - Universitat Munchen N1 - Contine bibliografie ER -