Logic, Construction, Computation
de Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger
de Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger
de Gruyter GmbH, Walter · inglés · ISBN 9783110324921
De Gruyter, Inc. · inglés · ISBN 9783110324938
Ontos Verlag · inglés · ISBN 9783868381580
De Gruyter, Inc. · inglés · ISBN 9783110324532
