The presentation of formal proofs


Martin Simons
Bok Tysk 1997

Detaljer

Bibliotek som har denne