14/01/04 16:35:20.91
論理学なら林晋「数理論理学」コロナ社でいいだろう。
高階論理がどうしても必要なら、Lembek,Scottだけでなく、
竹内外史"Proof Theory"がDoverからでているので
机の隅においておくといい。
>>733
まじめな話、手続き型言語なら大して変わらないと思う。
>>751
数学・コンピュータ用語の英語表現は必要
14/01/04 16:35:20.91
論理学なら林晋「数理論理学」コロナ社でいいだろう。
高階論理がどうしても必要なら、Lembek,Scottだけでなく、
竹内外史"Proof Theory"がDoverからでているので
机の隅においておくといい。
>>733
まじめな話、手続き型言語なら大して変わらないと思う。
>>751
数学・コンピュータ用語の英語表現は必要