Metamathematics, machines and Godel's proof.

Bibliografiske detaljer
Hovedforfatter: Shankar, N
Format: Printed Book
Sprog:English
Udgivet: Cambridge: Cambridge University Press, 1994.
Fag:
Godel;s theorem.
Beskrivelse
Fysisk beskrivelse:xv, 202p.

Lignende værker