Adapting Proofs-as-Programs
eBook kaufen Aktuelle Ansicht