>>188
あのねw
数理論理学の本でほぼほぼ言及されてるのは
自然演繹とシーケント計算
タブロー方は本当にマイナーなのよ
例えばここどう？
http://www2.yukawa.kyoto-u.ac.jp/~kanehisa.takasaki/edu/logic/
あと
>恥ずかしいだけだから言わないほうがいいね
>嘲笑されたくないでしょ？
自己紹介どうも
数学基礎論・数理論理学 その19
■ このスレッドは過去ログ倉庫に格納されています
191１３２人目の素数さん
2024/05/01(水) 22:21:52.77ID:SXUVR7MR■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【文春】女子アナにチョレイ！ 卓球・張本智和(23) チャラい“DM連続ナンパ” ★2 [Ailuropoda melanoleuca★]
- 最も信用できない情報源ワースト2 インフルエンサーのSNSが惨敗の理由…信頼するのは「家族の口コミ」「NHKのテレビ」… [少考さん★]
- マクドナルドのキャラクター「ドナルド」、きょうから「ロナルド」へ [おっさん友の会★]
- 【アジア大会/柔道】中国選手が衝撃の反則負け 前田凛にガブリ噛みつき 歯形くっきり・・・女子70kg級(※動画あり) [あずささん★]
- 【豆〜】フジテレビ、倉本聰さん追悼番組「北の国から 83冬」10月9日に放送決定「麓郷に沢田松吉(笠智衆という老人がふらりと現れる…」 [征夷大将軍★]
- 岩屋前外相 中国訪問めぐるSNS中傷に大物議員が同情…議員宿舎侵入事件も「ハニトラでもなんでもない」と徹底擁護 平将明氏 [少考さん★]
- 🏡
- 『おぼっちゃまくん』再アニメ化で話題の小林よしのり先生、さっそくネトウヨとバトル開始 [687994443]
- たまに体にイボがある奴いるけどなんでちょん切らないの？
- お前らって無双シリーズに出てくる拠点兵長だよな
- (ヽ´ん`)「オスの尻に卵産み付ける習性の体重250kgのエイリアンが地球侵略してこない限り、日本男に女性の苦しみはわからない」 [932029429]
- (´・ω・｀)鼻の穴にピーナッツ詰めたら取れなくなった