Higher-Order Logic and Type Theory

Bücher

Ähnliche Bücher