On the share of closedILformulas which are also inGL
- 期刊名称Archive for Mathematical Logic
- 作者Čačić, Vedran; Kovač, Vjekoslav
- 卷第54卷
- 印刷ISSN0933-5846
- 电子ISSN1432-0665
- 文件大小535.89KB
- 发表时间2015-11
- DOI10.1007/s00153-015-0438-7
- 页码741-767
同期刊推荐
Transfusionsassoziierte akute LungeninsuffizienzTank, S.; Sputtek, A.; Kiefmann, R. · Der Anaesthesist · 2013
Akute PankreatitisHecker, M.; Mayer, K.; Askevold, I.; Collet, P.; Weigand, M.A.; Krombach, G.A.; Padberg, W.; Hecker, A. · Der Anaesthesist · 2014
Mechanische ReanimationshilfenFischer, M.; Breil, M.; Ihli, M.; Messelken, M.; Rauch, S.; Schewe, J.-C. · Der Anaesthesist · 2014
„Keep on pumping“Helm, M. · Der Anaesthesist · 2014
Versorgungslücke in der Akutschmerztherapie?Gehling, M.; Tryba, M. · Der Anaesthesist · 2013
Augmentierte Spontanatmung im EntwöhnungsprozessRagaller, M. · Der Anaesthesist · 2014
PatientenrechtegesetzUlsenheimer, K. · Der Anaesthesist · 2014
Ziel erkannt – und nicht erreichtBürkle, H. · Der Anaesthesist · 2014