*Reasoning in Simple Type Theory * - Festschrift in Honor of Peter B. Andrews on His 70th Birthday / Taschenbücher für 44.99€ / Aus dem Bereich: Bücher-Wissenschaft-Mathematik Taschenbücher
Hugendubel