2006-02-26から1日間の記事一覧
現在2006年2月26日2時44分です。 今日、以前から注文してあった、竹内外史著 proof theory という本が、残念ながらお届けできませんというメールが、アマゾンシーオージェーピーから来た。 あの本には、2階の述語論理の無矛盾性定理と…
現在2006年2月26日2時44分です。 今日、以前から注文してあった、竹内外史著 proof theory という本が、残念ながらお届けできませんというメールが、アマゾンシーオージェーピーから来た。 あの本には、2階の述語論理の無矛盾性定理と…