730 followers
@phasetr Craig Smorynski: Logical Number Theory I, Springer-Verlag, 1991 https://t.co/LxRugYR9a9
@phasetr Craig Smorynski: Logical Number Theory I, Springer-Verlag, 1991 https://t.co/LxRugYR9a9
以前、見付けたけど入手できなかったCraig SmoryńskiのLogical Number Theory IもDLできるようになっている。これでSkolem Arithmeticの公理系とかの詳細を知ることが可能になった。 https://t.co/66jOUCWJs8