Loading...

Recursion theory for metamathematics.

Bibliografiske detaljer
Hovedforfatter: Smullyan, Raymond M.
Format: Printed Book
Sprog:English
Udgivet: New York: Oxford University Press, 1993.
Fag:

MAT

Detaljer om beholdninger fra MAT
Klassifikationsnummer: 510.57 SMU
Kopi Live Status Unavailable