New studies in weak arithmetics
著者
書誌事項
New studies in weak arithmetics
（CSLI lecture notes, no. 211）
Center for the Study of Language and Information , Presses universitaires du Pôle de Recherche et d'Enseignement Supérieur de Paris-Est, c2013
大学図書館所蔵 全7件
注記
Includes bibliographical references
内容説明・目次
内容説明
The field of weak arithmetics is an application of logical methods to number theory that was developed by mathematicians, philosophers, and theoretical computer scientists. New Studies in Weak Arithmetics is dedicated to late Australian mathematician Alan Robert Woods (1953-2011), whose seminal thesis is published here for the first time. This volume also contains the unpublished but significant thesis of Hamid Lesan (1951-2006) as well as other original papers on topics addressed in Woods' thesis and life's work that were first presented at the 31st Journees sur les Arithmetiques Faibles meeting held in Samos, Greece, in 2012.
「Nielsen BookData」 より