Multiple-conclusion Logic || Single-conclusion proofs
- 作者Shoesmith, D. J.; Smiley, T. J.
- 期第11期
- 文件大小637.39KB
- 发表时间1978
- DOI10.1017/cbo9780511565687.013
- 页码194-211
同作者推荐
Liquid Metals (Concepts and Theory) || PrefaceMarch, Norman Henry · 1990
Liquid Metals (Concepts and Theory) || OutlineMarch, Norman Henry · 1990
Liquid Metals (Concepts and Theory) || ThermodynamicsMarch, Norman Henry · 1990
Liquid Metals (Concepts and Theory) || ReferencesMarch, Norman Henry · 1990
Liquid Metals (Concepts and Theory) || Critical behaviourMarch, Norman Henry · 1990
Liquid Metals (Concepts and Theory) || Heavy Fermion theoryMarch, Norman Henry · 1990
Liquid Metals (Concepts and Theory) || Electronic and atomic transportMarch, Norman Henry · 1990
Liquid Metals (Concepts and Theory) || Liquid-vapour surfaceMarch, Norman Henry · 1990