Theory of Formal Systems. (AM-47), Volume 47 (Annals of Mathematics Studies (47))
Raymond M. SmullyanThis book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.
Kategori:
Tahun:
1961
Penerbit:
Princeton University Press
Bahasa:
english
Halaman:
156
ISBN 10:
069108047X
ISBN 13:
9780691080475
Nama siri:
Annals of Mathematics Studies (47) (Book 47)
Fail:
DJVU, 1.82 MB
IPFS:
,
english, 1961
Muat turun buku ini tidak tersedia lagi kerana aduan pemegang hak cipta