<電子ブック>
Theory of Formal Systems. (AM-47), Volume 47

責任表示
著者
本文言語
出版者
出版年
出版地
関連情報
概要 This 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.
本文を見る Full text available from Princeton Annals of Mathematics eBook-Package 1940-2020

詳細

レコードID
主題
SSID
eISBN
登録日 2020.06.27
更新日 2021.01.09