中国地方政府债务问题研究
- 作者薛钢著
- 出版社北京：中国财政经济出版社
- 标注页数291 页
- 文件页数311 页
- 文件大小12.17 MB
- 出版时间2006
- ISBN7500593945
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