Computational logic
de Ulrich Berger, Helmut Schwichtenberg, J. Girard, D. Miller, S. R. Buss
de Ulrich Berger, Helmut Schwichtenberg, J. Girard, D. Miller, S. R. Buss
Springer London, Limited · inglés · ISBN 9783642586224
Springer · inglés
Springer · inglés · ISBN 9783540645894
