足迹 浙江报业各专业委员会纪实
- 作者浙江省报业协会编
- 出版社杭州：浙江人民出版社
- 标注页数212 页
- 文件页数220 页
- 文件大小62.15 MB
- 出版时间2007
- ISBN9787213036262
Classical linear logics with mix separation principleNorihiro Kamide · 2003
A note on dual-intuitionistic logicNorihiro Kamide · 2003
On a logic of involutive quantalesNorihiro Kamide · 2005
Synthesized substructural logicsNorihiro Kamide · 2007
Paraconsistent Computation Tree LogicKen Kaneiwa; Norihiro Kamide · 2011
Dynamic Non-Commutative LogicNorihiro Kamide · 2010
Synchronized Linear-Time Temporal LogicHeinrich Wansing; Norihiro Kamide · 2011
StrongMotohiko Mouri; Norihiro Kamide · 2008
Craig interpolation for semilinear substructural logicsMarchioni, Enrico; Metcalfe, George · Mathematical Logic Quarterly · 2012
Contents: (Math. Log. Quart. 6/2012)Mathematical Logic Quarterly · 2012
Cover PictureMathematical Logic Quarterly · 2012
Issue InformationMathematical Logic Quarterly · 2012
SEMANTISCHE UNTERSUCHUNGEN ÜBER QUANTOREN IIssel, Walter · Mathematical Logic Quarterly · 1969
A note on definition by casesBird, Richard · Mathematical Logic Quarterly · 1973
Untersuchungen über Mengentheoretische GleichungenMüller, Horst · Mathematical Logic Quarterly · 1973
Zur Vergrösserung von StrukturenPodewski, Klaus-Peter · Mathematical Logic Quarterly · 1973