Eiko Isoda

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1997

2 Eiko Isoda, Kazuaki Nagaoka: Incompleteness Results in Kripke Bundle Semantics. Math. Log. Q. 43: 485-498 (1997)

1 Eiko Isoda: Kripke Bundle Semantics and C-set Semantics. Studia Logica 58(3): 395-401 (1997)

1997
2		Eiko Isoda, Kazuaki Nagaoka: Incompleteness Results in Kripke Bundle Semantics. Math. Log. Q. 43: 485-498 (1997)
1		Eiko Isoda: Kripke Bundle Semantics and C-set Semantics. Studia Logica 58(3): 395-401 (1997)

Coauthor Index

1 Kazuaki Nagaoka [2]