Metamathematics, machines, and Gödel's proof


N. Shankar
Bok Engelsk 1994

Detaljer

Bibliotek som har denne