| I.S.B.N. |
タイトル |
著者 |
定価 |
かごへ |
在庫 |
|---|
| 9789400700017 |
HYBRID LOGIC AND ITS PROOF-THEORY.
(APPLIED LOGIC VOL.37) 2011
(SPRINGER ) |
BRAUNER,T. |
28,180 |
購入 |
お取り寄せ |
|---|
| 9781402023347 |
A MODERN PERSPECTIVE ON TYPE THEORY.
(APPLIED LOGIC VOL.29) 2004
(KLUWER ) |
KAMAREDDINE,F.ET AL |
25,120 |
購入 |
オンデマンド |
|---|
| 9781402007637 |
AN INTRODUCTION TO MATHEMATICAL LOGIC AND TYPE THEORY, 2ND ED.
(APPLIED LOGIC VOL.27) 2002
(KLUWER ) |
ANDREWS,P. |
16,190 |
購入 |
お取り寄せ |
|---|
| 9781402007453 |
THE SEMANTICS AND PROOF THEORY OF THE LOGIC OF BOUNCHED IMPLICATIONS.
(APPLIED LOGIC VOL.26) 2002
(KLUWER ) |
PYM,D.J. |
21,720 |
購入 |
お取り寄せ |
|---|
| 9781402007910 |
LOGICAL AND COMPUTATIONAL ASPECTS OF MODEL-BASED REASONING.
(APPLIED LOGIC VOL.25) 2002
(KLUWER ) |
MAGNANI,L.ET AL(ED) |
6,720 |
購入 |
在庫あり |
|---|
| 9780792364733 |
GOAL-DIRECTED PROOF THEORY.
(APPLIED LOGIC VOL.21) 2000
(KLUWER ) |
GABBAY,D./OLIVETTI,N |
17,890 |
購入 |
お取り寄せ |
|---|
| 9780792363507 |
FORMAL ASPECTS OF CONTEXT.
(APPLIED LOGIC VOL.20) 2000
(KLUWER ) |
BONZON,P.ET AL(ED) |
13,860 |
購入 |
お取り寄せ |
|---|
| 9780792362500 |
ABDUCTION AND INDUCTION.
(APPLIED LOGIC VOL.18) 2000
(KLUWER ) |
FLACH,P.ET AL(ED) |
17,220 |
購入 |
お取り寄せ |
|---|
| 9780792362371 |
LABELLED DEDUCTION.
(APPLIED LOGIC VOL.17) 2000
(KLUWER ) |
BASIN,D.ET AL(ED) |
17,550 |
購入 |
お取り寄せ |
|---|
| 9780792361497 |
ADVANCES IN TEMPORAL LOGIC.
(APPLIED LOGIC VOL.16) 2000
(KLUWER ) |
BARRINGER,H.ET AL(ED |
24,150 |
購入 |
お取り寄せ |
|---|
| 9780792359777 |
FUZZY SETS, LOGICS AND REASONING ABOUT KNOWLEDGE.
(APPLIED LOGIC VOL.15) 1999
(KLUWER ) |
DUBOIS,D.ET AL(ED) |
24,050 |
購入 |
お取り寄せ |
|---|
| 9780792356011 |
FOUNDATIONS OF RATIONAL AGENCY.
(APPLIED LOGIC VOL.14) 1999
(KLUWER ) |
WOOLDRIDGE,M.(EDS) |
18,860 |
購入 |
お取り寄せ |
|---|
| 9780792355694 |
WHAT IS NEGATION?
(APPLIED LOGIC VOL.13) 1999
(KLUWER ) |
GABBAY,D.ET AL |
25,980 |
購入 |
お取り寄せ |
|---|
| 9780792355359 |
DYNAMIC WORLDS.
(APPLIED LOGIC VOL.12) 1999
(KLUWER ) |
PARESCHI,R.ET AL(ED) |
16,400 |
購入 |
お取り寄せ |
|---|
| 9780792342717 |
FRONTIERS OF COMBINING SYSTEMS.
(APPLIED LOGIC VOL.3) 1996
(KLUWER ) |
BAADER,F.ET AL.(ED) |
30,140 |
購入 |
お取り寄せ |
|---|
| 9780792341208 |
PROOF THEORY OF MODAL LOGIC.
(APPLIED LOGIC VOL.2) 1996
(SPRINGER ) |
WANSING,H.(ED) |
0 |
購入 |
お取り寄せ |
|---|
| 9780792351320 |
AUTOMATED DEDUCTION - A BASIS FOR APPLICATIONS, VOL. I. - III. (SET OF 3 VOLS.)
(APPLIED LOGIC ) 1998
(KLUWER ) |
BIBEL,W.ET AL(ED) |
126,700 |
購入 |
お取り寄せ |
|---|