検索結果書誌一覧：蔵書検索システム

検索結果 書誌一覧

  • 著者名='しりあがり 寿'
  • 該当 21件。 1 件目から 10 件目を表示。
  • NEW は新着資料、 BEST は予約が多い資料です。
論理学入門 ちくま学芸文庫 タ41-1 詳しく見る
論理学入門 ちくま学芸文庫 タ41-1
丹治 信春／著 筑摩書房 2014/05 巻次：
分類:410.96
貸出可否： ○
コンピュータは数学者になれるのか? 数学基礎論から証明とプログラムの理論へ 詳しく見る
コンピュータは数学者になれるのか? 数学基礎論から証明とプログラムの理論へ
照井 一成／著 青土社 2015/03 巻次：
分類:410.96
貸出可否： ×
集合・論理と位相 基幹講座数学 詳しく見る
集合・論理と位相 基幹講座数学
新井 敏康／著 東京図書 2016/11 巻次：
分類:410.9
貸出可否： ○
証明と論理に強くなる 論理式の読み方から、ゲーデルの門前まで 知の扉シリーズ 詳しく見る
証明と論理に強くなる 論理式の読み方から、ゲーデルの門前まで 知の扉シリーズ
小島 寛之／著 技術評論社 2017/02 巻次：
分類:410.96
貸出可否： ○
現代数理論理学入門 詳しく見る
現代数理論理学入門
J.N.クロスリー／[ほか]著 共立出版 2017/04 巻次：
分類:410.96
貸出可否： ○
情報理論のための数理論理学 数学のかんどころ ここがわかれば数学はこわくない! 31 詳しく見る
情報理論のための数理論理学 数学のかんどころ ここがわかれば数学はこわくない! 31
板井 昌典／著 共立出版 2017/08 巻次：
分類:410.96
貸出可否： ○
スマリヤン数理論理学講義 上巻 不完全性定理の理解のために 詳しく見る
スマリヤン数理論理学講義 上巻 不完全性定理の理解のために
レイモンド・M.スマリヤン／著 日本評論社 2017/09 巻次：上巻
分類:410.96
貸出可否： ×
記号論 ちくま学芸文庫 ヨ16-2 詳しく見る
記号論 ちくま学芸文庫 ヨ16-2
吉田 夏彦／著 筑摩書房 2017/10 巻次：
分類:116.3
貸出可否： ○
「論理」を分析する 岩波現代全書 111 詳しく見る
「論理」を分析する 岩波現代全書 111
八木沢 敬／著 岩波書店 2018/01 巻次：
分類:116.3
貸出可否： ○
はじめての数理論理学 証明を作りながら学ぶ記号論理の考え方 詳しく見る
はじめての数理論理学 証明を作りながら学ぶ記号論理の考え方
山田 俊行／著 森北出版 2018/07 巻次：
分類:410.96
貸出可否： ○

絞込み
前のページへもどる
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。