ヘルプ
×終了
日本語
|
English
埼玉大学図書館
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
シリーズ名:Applied logic series
図書(11 件)
選択行を:
10件
20件
50件
11 件中の 1-10
1
2
資料名
所在
1
A 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).
教養共4F哲学
410.9:Ka
2
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews. -- 2nd ed.. -- Kluwer Academic, c2002. -- (Applied logic series ; v. 27).
教養共4F哲学
410.9:A
3
Formal aspects of context / edited by Pierre Bonzon, Marcos Cavalcanti and Rolf Nossum. -- Kluwer, c2000. -- (Applied logic series ; v. 20).
教養共5F英語
007.6:B
4
Labelled deduction / edited by David Basin ... [et al.]. -- Kluwer Academic, c2000. -- (Applied logic series ; v. 17).
図書館(書庫)
116:B
5
A 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).
教養共5F英語
549.9:H
6
Foundations of rational agency / edited by Michael Wooldridge and Anand Rao. -- Kluwer Academic, c1999. -- (Applied logic series ; v. 14).
教養共4F哲学
116:W
7
What is negation? / edited by Dov M. Gabbay and Heinrich Wansing. -- Kluwer Academic Publishers, c1999. -- (Applied logic series ; v. 13).
教養共4F哲学
116:G
8
Multi-dimensional modal logic / by Maarten Marx and Yde Venema. -- Kluwer Academic, c1997. -- (Applied logic series ; v. 4).
教養共5F英語
116:M
9
Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie. -- Kluwer Academic, c1997. -- (Applied logic series ; v. 6).
理数学
410.9:G
10
Proof theory of modal logic / edited by Heinrich Wansing. -- Kluwer, c1996. -- (Applied logic series ; v. 2).
教養共4F哲学
116:W
11 件中の 1-10
1
2
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。
カナ
英字
EXC
ギリシャ
キリル
ハングル
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
초성
중성
종성