Rezensionen
Noch keine Rezensionen
Sei der Erste, der dieses Buch rezensiert und deine Gedanken teilt
Anmelden um zu rezensieren
Adapting Proofs-as-Programs: The Curry-Howard Protocol
Noch keine Bewertungen