Round about Radio
- 期刊名称The Musical Times
- 作者W. R. Anderson
- 卷第94卷
- 期第1325期
- 印刷ISSN0027-4666
- 文件大小119.12KB
- 发表时间1953-07
- DOI10.2307/933641
- 页码315-316
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