Proof, logic and formalization


edited by Michael Detlefsen
Bok Engelsk 1992

Detaljer

Bibliotek som har denne