貸出ランキング

期間: ベスト:
順位 書名 請求記号
1位 Algebra of proofs / M. E. Szabo 410.1||2020||3014
2位 Models of Peano arithmetic / Richard Kaye 410.9||2020||3015
3位 Basic proof theory / A.S. Troelstra, H. Schwichtenberg 2001||743
4位 The structure of models of Peano arithmetic / Roman Kossak, James H. Schmerl 410.9||2020||3016
5位 科学者として生き残る方法 / フェデリコ・ロージ, テューダー・ジョンストン著 ; 高橋さきの訳 407||2014||3098
6位 Japanese Kanji flashcards : 284 Kanji cards for levels 3 and 4 of the Japanese Language Proficiency Test / Max Hodges and Tomoko Okazaki 2009||204
7位 Subsystems of second order arithmetic / Stephen G. Simpson 410.9||2019||3001
8位 調査観察データの統計科学 : 因果推論・選択バイアス・データ融合 / 星野崇宏著 417||2013||3169
9位 Logic in games / Johan van Benthem 417.2||2014||3006
10位 物語世界への没入体験 : 読解過程における位置づけとその機能 / 小山内秀和著 019.1||2018||3077