検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
シリーズ名：Applied logic series
選択行を：
11 件中の　1-1012
資料名所在
1A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laan and Rob Nederpelt. -- Kluwer Academic, c2004. -- (Applied logic series ; v. 29).教養共４Ｆ哲学 410.9:Ka
2An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews. -- 2nd ed.. -- Kluwer Academic, c2002. -- (Applied logic series ; v. 27).教養共４Ｆ哲学 410.9:A
3Formal aspects of context / edited by Pierre Bonzon, Marcos Cavalcanti and Rolf Nossum. -- Kluwer, c2000. -- (Applied logic series ; v. 20).教養共５Ｆ英語 007.6:B
4Labelled deduction / edited by David Basin ... [et al.]. -- Kluwer Academic, c2000. -- (Applied logic series ; v. 17).図書館(書庫) 116:B
5A textbook of belief dynamics : theory change and database updating / by Sven Ove Hansson ; : pbk.. -- Student edition. -- Kluwer Academic Publishers, c1999. -- (Applied logic series ; v. 11).教養共５Ｆ英語 549.9:H
6Foundations of rational agency / edited by Michael Wooldridge and Anand Rao. -- Kluwer Academic, c1999. -- (Applied logic series ; v. 14).教養共４Ｆ哲学 116:W
7What is negation? / edited by Dov M. Gabbay and Heinrich Wansing. -- Kluwer Academic Publishers, c1999. -- (Applied logic series ; v. 13).教養共４Ｆ哲学 116:G
8Multi-dimensional modal logic / by Maarten Marx and Yde Venema. -- Kluwer Academic, c1997. -- (Applied logic series ; v. 4).教養共５Ｆ英語 116:M
9Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie. -- Kluwer Academic, c1997. -- (Applied logic series ; v. 6).理数学 410.9:G
10Proof theory of modal logic / edited by Heinrich Wansing. -- Kluwer, c1996. -- (Applied logic series ; v. 2).教養共４Ｆ哲学 116:W
11 件中の　1-1012
選択行を：
▲ページトップへ