城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(標準分類: 511.3/6)
該当件数:3件
A Framework for Priority Arguments / Manuel Lerman
Cambridge : Cambridge University Press , 2010. - (Lecture Notes in Logic ; 34)
電子ブック
Forcing with Random Variables and Proof Complexity / Jan Krajíček
Cambridge : Cambridge University Press , 2010. - (London Mathematical Society Lecture Note Series ; 382)
Theorems, corollaries, lemmas, and methods of proof / Richard J. Rossi
Hoboken, N.J. : Wiley , c2006. - (Pure and applied mathematics)
図書