城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Kahle Reinhard)
該当件数:5件
Gentzen's Centenary : The Quest for Consistency / edited by Reinhard Kahle, Michael Rathjen
1st ed. 2015.. - (Cham : Springer International Publishing : Imprint: Springer , 2015)
電子ブック
The Legacy of Kurt Schütte / edited by Reinhard Kahle, Michael Rathjen
1st ed. 2020.. - (Cham : Springer International Publishing : Imprint: Springer , 2020)
Advances in Proof Theory / edited by Reinhard Kahle, Thomas Strahm, Thomas Studer
1st ed. 2016.. - (Cham : Springer International Publishing : Imprint: Birkhäuser , 2016). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 28)
Axiomatic Thinking I / edited by Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022)
Axiomatic Thinking II / edited by Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga