Marginalia on Sequent Calculi
- 期刊名称Studia Logica
- 作者A.S. Troelstra
- 卷第62卷
- 期第2期
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小368.65KB
- 发表时间1999-03
- DOI10.1023/a:1026413320413
- 页码291-303
同标题推荐
Biometrika Index: Author Index: Vols 1-48 (1901-1961) || Author IndexBiometrika · 1962
Biometrika Index: Author Index: Vols 57-78 (1970-1991) || Author IndexBiometrika · 1992
Biometrika Index: Author Index, Vols. 1-40 (1901-1953); Subject Index, Vols. 1-37 (1901-1950) || Author IndexBiometrika · 1955
2006 AUTHOR INDEX: Author Index2006
Author index vol. 82, nos. 1–8 author index1992
Author Index: 2001 A-Page Author IndexAnalytical Chemistry · 2001
Author index - generate author index for issues 123/1-82002
Cumulative Author Index Author Index (Volumes I - X)IFAC Proceedings Volumes · 1987